Classical linear ciphers, such as the Hill cipher, operate on fixed, finite-dimensional modules and are therefore vulnerable to straightforward known-plaintext attacks that recover the key as a fully determined linear operator. We propose a symmetric-key cryptosystem whose linear action takes place instead in the Burnside ring $A(G)$ of a compact Lie group $G$, with emphasis on the case $G=O(2)$. The secret key consists of (i) a compact Lie group $G$; (ii) a secret total ordering of the subgroup orbit-basis of $A(G)$; and (iii) a finite set $S$ of indices of irreducible $G$-representations, whose associated basic degrees define an involutory multiplier $k\in A(G)$. Messages of arbitrary finite length are encoded as finitely supported elements of $A(G)$ and encrypted via the Burnside product with $k$. For $G=O(2)$ we prove that encryption preserves plaintext support among the generators $\{(D_1),\dots,(D_L),(SO(2)),(O(2))\}$, avoiding ciphertext expansion and security leakage. We then analyze security in passive models, showing that any finite set of observations constrains the action only on a finite-rank submodule $W_L\subset A(O(2))$, and we show information-theoretic non-identifiability of the key from such data. Finally, we prove the scheme is \emph{not} IND-CPA secure, by presenting a one-query chosen-plaintext distinguisher based on dihedral probes.
- ๋
ผ๋ฌธ ID: 2510.10901
- ์ ๋ชฉ: A Symmetric-Key Cryptosystem Based on the Burnside Ring of a Compact Lie Group
- ์ ์: Ziad Ghanem
- ๋ถ๋ฅ: cs.CR (์ํธํ ๋ฐ ๋ณด์), math.RA (ํ ๋ฐ ๋์ํ)
- ๋ฐํ ์๊ฐ: 2025๋
10์ 13์ผ (arXiv ์ฌ์ ์ธ์๋ณธ)
- ๋
ผ๋ฌธ ๋งํฌ: https://arxiv.org/abs/2510.10901
์ ํต์ ์ธ ์ ํ ์ํธ(์: Hill ์ํธ)๋ ๊ณ ์ ๋ ์ ํ ์ฐจ์ ๋ชจ๋์์ ์๋ํ๋ฏ๋ก ์ง์ ์ ์ธ ๊ธฐ์งํ๋ฌธ ๊ณต๊ฒฉ์ ์ทจ์ฝํ๋ฉฐ, ๊ณต๊ฒฉ์๋ ์ ํ๋์ ๋ฐฉ๋ฒ์ ํตํด ์์ ํ ๊ฒฐ์ ๋ ์ ํ ์ฐ์ฐ์ ํค๋ฅผ ๋ณต๊ตฌํ ์ ์์ต๋๋ค. ๋ณธ ๋
ผ๋ฌธ์ ์ ํ ์ฐ์ฐ์ด ์ปดํฉํธ ๋ฆฌ ๊ตฐ G์ ๋ฒ์ฌ์ด๋ ํ A(G)์์ ์ํ๋๋ ๋์นญํค ์ํธ ์์คํ
์ ์ ์ํ๋ฉฐ, G=O(2)์ธ ๊ฒฝ์ฐ์ ์ค์ ์ ๋๊ณ ์์ต๋๋ค. ํค๋ ์ธ ๋ถ๋ถ์ผ๋ก ๊ตฌ์ฑ๋ฉ๋๋ค: (i) ์ปดํฉํธ ๋ฆฌ ๊ตฐ G; (ii) A(G)์ ๋ถ๋ถ๊ตฐ ๊ถค๋ ๊ธฐ์ ์ ๋น๋ฐ ์ ์์; (iii) ๋ถ๊ฐ์ฝ G-ํํ ์งํ์ ์ ํ ์งํฉ S๋ก, ๊ด๋ จ๋ ๊ธฐ๋ณธ ์ฐจ์๊ฐ ๋ํฉ ์น์ kโA(G)๋ฅผ ์ ์ํฉ๋๋ค. ์์์ ์ ํ ๊ธธ์ด ๋ฉ์์ง๋ A(G)์ ์ ํ ์ง์ง ์์๋ก ์ธ์ฝ๋ฉ๋๋ฉฐ, k์์ ๋ฒ์ฌ์ด๋ ๊ณฑ์ ํตํด ์ํธํ๋ฉ๋๋ค.
- ์ ํต์ ์ ํ ์ํธ์ ์ทจ์ฝ์ฑ: Hill ์ํธ์ ๊ฐ์ ๊ณ ์ ์ ํ ์ํธ๋ ๊ณ ์ ๋ ์ ํ ์ฐจ์ ๊ณต๊ฐ์์ ์๋ํ๋ฏ๋ก, ๊ณต๊ฒฉ์๋ ์ถฉ๋ถํ ํ๋ฌธ-์ํธ๋ฌธ ์์ ์์งํ์ฌ ์ ํ ๋ฐฉ์ ์๊ณ๋ฅผ ๊ตฌ์ฑํจ์ผ๋ก์จ ํค๋ฅผ ์์ ํ ๋ณต๊ตฌํ ์ ์์ต๋๋ค.
- ์์ ํ ์ํธํ ํ์์ฑ: ์์ ์ปดํจํ
์ ์ํ์ผ๋ก ์ธํด ์ฐ๊ตฌ์๋ค์ ๋น์ ํต์ ์ธ ์๋ก ๊ฐ์ ์ ๊ธฐ๋ฐ์ผ๋ก ํ ์ํธ ์์๋ฅผ ์ฐพ๊ณ ์์ผ๋ฉฐ, ์ฌ๊ธฐ์๋ ๊ตฐ๋ก ๋ฐ ๊ทธ๋ํ๋ก ์ ๊ธฐ๋ฐ์ผ๋ก ํ ๋ฐฉ์์ด ํฌํจ๋ฉ๋๋ค.
- ์ ํ ์ฐจ์ ํ๋ซํผ์ ๊ทผ๋ณธ์ ์ ํ: ๊ธฐ์กด์ ๋์ ์ํธ ์์คํ
์ ์ค์ํ ๋์์ ์ ๊ณตํ์ง๋ง ์ฌ์ ํ ์ ํ ์ฐจ์ ํ๋ซํผ์์ ์๋ํ๋ฉฐ, ๊ฐ๋
์ ๊ฒฐํจ์ด ์กด์ฌํฉ๋๋ค. ์ฆ, ์ถฉ๋ถํ ํ๋ฌธ-์ํธ๋ฌธ ์์ด ํค ์ฐ์ฐ์๋ฅผ ์์ ํ ์ ์ฝํ ์ ์์ต๋๋ค.
๋ณธ ๋
ผ๋ฌธ์ ํต์ฌ ๋๊ธฐ๋ ์ ํ ์ฐจ์ ์ค์ ์ ํ๊ณ๋ฅผ ๊ทน๋ณตํ๊ณ , ์ํธํ ์ฐ์ฐ์ ๋ฌดํ ๊ณ์ ๋ชจ๋์ธ ์ปดํฉํธ ๋ฆฌ ๊ตฐ์ ๋ฒ์ฌ์ด๋ ํ์ผ๋ก ์ด๋์์ผ, ์ด๋ก ์ ์ผ๋ก ์ ํต์ ์ ํ ์ํธ์ ๊ทผ๋ณธ์ ์ฝ์ ์ ํผํ๋ ๊ฒ์
๋๋ค.
- ๋ฒ์ฌ์ด๋ ํ ๊ธฐ๋ฐ์ ์๋ก์ด ๋์นญ ์ํธ ์์คํ
์ ์: ์ปดํฉํธ ๋ฆฌ ๊ตฐ์ ๋ฒ์ฌ์ด๋ ํ์ ์ํธํ์ ์ฒ์์ผ๋ก ์ ์ฉํ๋ฉฐ, ํนํ O(2) ๊ตฐ์ ๊ฒฝ์ฐ๋ฅผ ๋ค๋ฃน๋๋ค.
- ์ง์ง ๋ณด์กด ์ฑ์ง ์ฆ๋ช
: G=O(2)์ ๋ํด, ์ํธํ ๊ณผ์ ์ด ์์ฑ์ {(Dโ),...,(D_L),(SO(2)),(O(2))}์์ ํ๋ฌธ์ ์ง์ง๋ฅผ ๋ณด์กดํจ์ ์ฆ๋ช
ํ์ฌ ์ํธ๋ฌธ ํ์ฅ ๋ฐ ๋ณด์ ๋์ถ์ ๋ฐฉ์งํฉ๋๋ค.
- ์๋ ๋ชจ๋ธ์์์ ๋ณด์์ฑ ๋ถ์ ์๋ฆฝ: ๋ชจ๋ ์ ํ ๊ด์ฐฐ ์งํฉ์ด ์ ํ ๊ณ์ ๋ถ๋ถ๋ชจ๋ W_LโA(O(2))์์์ ์ฐ์ฐ๋ง ์ ์ฝํ ์ ์์ผ๋ฉฐ, ์ ํ ๋ฐ์ดํฐ๋ก๋ถํฐ ํค์ ์ ๋ณด ์ด๋ก ์ ๋ถ๊ฐ์๋ณ์ฑ์ ๋ณด์ฌ์ค๋๋ค.
- IND-CPA ๋น์์ ์ฑ ์ฆ๋ช
: ์ด๋ฉด์ฒด ํ์ฌ ๊ธฐ๋ฐ์ ๋จ์ผ ์ง์ ์ ํ ํ๋ฌธ ๊ตฌ๋ถ์๋ฅผ ํตํด ์ด ๋ฐฉ์์ด IND-CPA ๋ณด์์ฑ์ ๋ง์กฑํ์ง ์์์ ์ฆ๋ช
ํฉ๋๋ค.
๋ค์๊ณผ ๊ฐ์ ๋์นญํค ์ํธ ๋ฐฉ์์ ์ค๊ณํฉ๋๋ค:
- ์
๋ ฅ: ์์์ ์ ํ ๊ธธ์ด ๋ฉ์์ง
- ์ถ๋ ฅ: ๋ฒ์ฌ์ด๋ ํ์ ์ํธํ ์์
- ์ ์ฝ: ๋ฌดํ ์ฐจ์ ๊ตฌ์กฐ๋ฅผ ํ์ฉํ์ฌ ์ ํต์ ์ ํ๋์ ๊ณต๊ฒฉ์ ์ ํญ
์ปดํฉํธ ๋ฆฌ ๊ตฐ G์ ๋ํด, ๋ฒ์ฌ์ด๋ ํ A(G)๋ ๋ค์๊ณผ ๊ฐ์ด ์ ์๋ฉ๋๋ค:
- ๊ธฐ์ด: ๋ถ๋ถ๊ตฐ ์ผค๋ ๋ฅ ์งํฉ ฮฆโ(G) = {(H) : H โค G, W(H)๋ ์ ํ}
- ๊ตฌ์กฐ: ์์ Z-๋ชจ๋ A(G) = Zฮฆโ(G)
- ๊ณฑ: ๊ถค๋ ๊ณ์ฐ์ ํตํด ์ ์๋ ๋ฒ์ฌ์ด๋ ๊ณฑ
G = O(2)์ ๋ํด, ๊ธฐ์ด ์์๋ ๋ค์์ ํฌํจํฉ๋๋ค:
- (O(2)): ๊ตฐ ์์ฒด์ ์ผค๋ ๋ฅ
- (SO(2)): ํน์ ์ง๊ต๊ตฐ์ ์ผค๋ ๋ฅ
- (Dโ): ์ ํ ์ด๋ฉด์ฒด ๋ถ๋ถ๊ตฐ์ ์ผค๋ ๋ฅ, k โฅ 1
๊ณฑ ๊ท์น์ ๋ค์ ํ์ ๊ฐ์ต๋๋ค:
| ยท | (O(2)) | (SO(2)) | (Dโ) |
|---|
| (O(2)) | (O(2)) | (SO(2)) | (Dโ) |
| (SO(2)) | (SO(2)) | 2(SO(2)) | 0 |
| (Dโ) | (Dโ) | 0 | 2(D_l), l=gcd(k,m) |
ํค๋ ์ผ์ค์ (G,O,S)์ผ๋ก ๊ตฌ์ฑ๋ฉ๋๋ค:
- ๊ตฐ G: ์ปดํฉํธ ๋ฆฌ ๊ตฐ, ์: G = O(2)
- ์์ O: ๊ธฐ์ด ์์ ฮฆโ(G)์ ๋น๋ฐ ์ ์์
- ํํ ์งํ ์งํฉ S: ์ ํ ์งํฉ S = {kโ,kโ,...,kโ}
์งํฉ S๋ก๋ถํฐ ํค ์์๋ฅผ ๊ตฌ์ฑํฉ๋๋ค:
k=โjโSโdegVjโโ
์ฌ๊ธฐ์ deg_๋ j๋ฒ์งธ ๋ถ๊ฐ์ฝ ํํ์ ๊ธฐ๋ณธ ์ฐจ์์
๋๋ค. O(2)์ ๋ํด:
- deg_ = (O(2)) (์๋ช
ํํ)
- deg_ = (O(2)) - (Dโ) (๋น์๋ช
ํํ)
- ์ ์ฒ๋ฆฌ: ์๋ณธ ๋ฐ์ดํฐ๋ฅผ ์ ์ ๋ฒกํฐ pโ โ Z^L๋ก ๋ณํ
- ํ ์ธ์ฝ๋ฉ: ๋น๋ฐ ์์ O๋ฅผ ์ฌ์ฉํ์ฌ ๋ฒกํฐ๋ฅผ p โ A(G)๋ก ๋งคํ
- ์ํธํ: ์ํธ๋ฌธ c = p ยท k ๊ณ์ฐ
- ์ ์ก: ์ ํ ์ง์ง ์ํธ๋ฌธ ์ ์ก
- ๋ณตํธํ: k๊ฐ ๋ํฉ์ด๋ฏ๋ก p = c ยท k ๊ณ์ฐ
- ๋ณตํธ: ์๋ณธ ๋ฐ์ดํฐ ๋ณต๊ตฌ
- ๋ฌดํ ์ฐจ์ ํ๋ซํผ: ์ ํ ์ฐจ์ ์ ํ์ ๊ทน๋ณตํ๊ณ ๋ฌดํ ๊ณ์ ๋ชจ๋์์ ์๋
- ๋ํฉ ์ฑ์ง: ํค ์์ k๋ kยฒ = (O(2))๋ฅผ ๋ง์กฑํ์ฌ ๋ณตํธํ ๊ณผ์ ์ ๋จ์ํ
- ์ง์ง ๋ณด์กด: ์ํธํ๊ฐ ํ๋ฌธ์ ์ต๋ ์ด๋ฉด์ฒด ์งํ๋ฅผ ์ฆ๊ฐ์ํค์ง ์์ ์ํธ๋ฌธ ํฝ์ฐฝ ๋ฐฉ์ง
๋ช
์ 3.1: ํ๋ฌธ์ด p = ฮฃแตขโโแดธ aแตข(Dแตข)์ด๊ณ , ํค k๊ฐ ์์์ ๊ธฐ๋ณธ ์ฐจ์์ ๊ณฑ์ด๋ฉด, ์ํธ๋ฌธ c = pยทk๋ ๋ถ๋ถ๋ชจ๋ Z{(Dโ),...,(D_L)}์ ์์์
๋๋ค.
์ฆ๋ช
์์ :
- (Dแตข)ยท(O(2)) = (Dแตข)
- (Dแตข)ยท(Dโ) = 2(D_{gcd(i,m)})
- gcd(i,m) โค i โค L์ด๋ฏ๋ก, ๊ฒฐ๊ณผ ์ง์ง๋ ์๋ ๋ฒ์๋ฅผ ์ด๊ณผํ์ง ์์
๋ชจ๋ ์ ํ ๊ด์ฐฐ ์งํฉ {pโฑผ,cโฑผ}๋ ์ ํ ๊ณ์ ๋ถ๋ถ๋ชจ๋๋ก ์ ํ๋ฉ๋๋ค:
WLโ:=Z[{(D1โ),...,(DLโ)}]โA(O(2))
๋ช
์ 4.1: S = {sโ,...,sโ}์ ํค ์งํฉ์ด๋ผ ํ๊ณ , q๋ฅผ q > L์ธ ์์๋ผ ํฉ์๋ค. S' = {sโq,...,sโq}๋ฅผ ๊ตฌ์ฑํ๋ฉด, k_S์ k_{S'}๋ W_L์์ ๋์ผํ ์ ํ ๋ณํ์ ์์ฑํฉ๋๋ค.
์ถ๋ก 4.1: W_L์ ๋ชจ๋ ์ ํ ๊ด์ฐฐ ์งํฉ์ ๋ํด, ๊ด์ฐฐ๊ณผ ์ผ์นํ๋ ๋ฌดํํ ๋ง์ ์๋ก ๋ค๋ฅธ ํค ์งํฉ์ด ์กด์ฌํ๋ฉฐ, ํค๋ ์ ๋ณด ์ด๋ก ์ ์๋ฏธ์์ ๋ถ๊ฐ์๋ณ์
๋๋ค.
์ง์ p = (Dโ)์ ๋ํด, ์ํธ๋ฌธ์:
cxโ=(Dxโ)โ
kSโ=(Dxโ)+โnโฅ1โ2ฮฑSโ(n)(Dgcd(x,n)โ)
์ฌ๊ธฐ์ ฮฑ_S(n)์ ๋ช
์ 2.1์์ ์ฃผ์ด์ง ๊ณต์์ผ๋ก ๊ฒฐ์ ๋ฉ๋๋ค.
๋ช
์ 4.2: ์์์ ๋ ๊ฐ์ ์๋ก ๋ค๋ฅธ ํค ์งํฉ Sโ โ Sโ์ ๋ํด, (Dโ)ยทk_{Sโ} โ (Dโ)ยทk_{Sโ}์ธ x โ โ์ด ์กด์ฌํฉ๋๋ค.
๋จ์ผ ์ง์ ๊ตฌ๋ถ์:
- ฮฒ_{Sโ}(x)์ ฮฒ_{Sโ}(x) ๊ณ์ฐ
- ฮฒ_{Sโ}(x) โ ฮฒ_{Sโ}(x)๋ฅผ ๋ง์กฑํ๋ x ์ ํ
- p = (Dโ) ์ง์, ๊ณ์์ ๋ฐ๋ผ ํค ๊ฒฐ์
- ์๋ ๊ณต๊ฒฉ์ ๋ํ ์ ํญ: ์ํธ๋ฌธ ๊ณต๊ฒฉ ๋ฐ ๊ธฐ์งํ๋ฌธ ๊ณต๊ฒฉ ํ์์ ํค๋ ์ ๋ณด ์ด๋ก ์ ๋ถ๊ฐ์๋ณ์ฑ์ ๊ฐ์ง
- ์ํธ๋ฌธ ํฝ์ฐฝ ์์: ์ง์ง ๋ณด์กด ์ฑ์ง์ด ์ํธ๋ฌธ ํ์ฅ์ ๋ฐฉ์ง
- ์ด๋ก ์ ํ์ : ๋์ ์์ ๋๊ตฌ๋ฅผ ์ํธํ์ ์ฒ์์ผ๋ก ๋์
- IND-CPA ๋ฏธ์ถฉ์กฑ: ๊ฒฐ์ ๋ก ์ ์ ํ ๊ตฌ์ฑ์ ํ์ค ๋ถ๊ฐ๊ตฌ๋ถ์ฑ์ ๋๋ฌํ ์ ์์
- ์ค์ฉ์ฑ ์ ํ: ๋ณต์กํ ์ํ ๊ตฌ์กฐ๊ฐ ์ค์ ๊ตฌํ ํจ์จ์ฑ์ ์ํฅ์ ๋ฏธ์น ์ ์์
- ์ ํ๋ ์์ฉ ์๋๋ฆฌ์ค: ์ฃผ๋ก ์๋ ๋ณด์์ด ํ์ํ์ง๋ง ๊ฒฐ์ ๋ก ์ ์ํธํ๋ฅผ ์์ฉํ ์ ์๋ ๊ฒฝ์ฐ์ ์ ์ฉ
- Hill ์ํธ ๋ฐ ๊ทธ ๋ณํ
- ์ ํ ์ฐจ์ ์ ํ ๋ณํ์ ์ทจ์ฝ์ฑ ๋ถ์
- ์นํ๊ตฐ ๋งคํ(PGM) ์ํธ ์์คํ
- ๊ทธ๋ํ๋ก ๊ธฐ๋ฐ์ ๋์นญ ๋ธ๋ก ์ํธ
- ์ต์ ์์ฑ ํธ๋ฆฌ(MST) ๋ฐ ์ธ์ ํ๋ ฌ ๋ฐฉ๋ฒ
- ์ํธํ์์์ ๊ตฐ๋ก ์์ฉ
- ํํ๋ก ๋ฐ ๋ฑ๋ณ ์ฐจ์ ์ด๋ก
- ๋ฌดํ ์ฐจ์ ๋ฒ์ฌ์ด๋ ํ์ ๊ธฐ๋ฐ์ผ๋ก ํ ๋์นญ ์ํธ ์์คํ
์ ์ฑ๊ณต์ ๊ตฌ์ฑ
- ์๋ ๊ณต๊ฒฉ ๋ชจ๋ธ์์์ ์ด๋ก ์ ๋ณด์์ฑ ์
์ฆ
- ๊ฒฐ์ ๋ก ์ ์ ํ ๋ฐฉ์์ ๊ทผ๋ณธ์ ์ ํ ์ฆ๋ช
- ๋น๊ฒฐ์ ๋ก ์ ํ์ฅ: CPA ๊ณต๊ฒฉ์ ํผํ๊ธฐ ์ํ ๋ฌด์์ํ ๋์
- ๋ค๋ฅธ ๋ฆฌ ๊ตฐ: ์๋ก ๋ค๋ฅธ ์ปดํฉํธ ๋ฆฌ ๊ตฐ์ ์ํธํ์ ์ฑ์ง ํ์
- ๊ตฌํ ์ต์ ํ: ํจ์จ์ ์ธ ๋ฒ์ฌ์ด๋ ํ ์ฐ์ฐ ์๊ณ ๋ฆฌ์ฆ ๊ฐ๋ฐ
- ํผํฉ ๋ฐฉ์: ์ ํต ์ํธํ ๊ธฐ๋ฒ๊ณผ ๊ฒฐํฉํ์ฌ ์ค์ฉ์ฑ ํฅ์
- ์ด๋ก ์ ๋ํ: ๋ฒ์ฌ์ด๋ ํ ์ด๋ก ์ ์ํธํ์ ์ฒ์์ผ๋ก ์ ์ฉ
- ๊ฐ๋
์ ํ์ : ์ ํ ์ฐจ์ ํ๋ซํผ์ ๊ทผ๋ณธ์ ์ ํ ๊ทน๋ณต
- ์ํ์ ๊น์ด: ๋์ ์์, ํํ๋ก ๋ฐ ์ํธํ์ ์ตํฉ
- ์๋ฐํ ์ํ์ ์ฆ๋ช
๋ฐ ์ด๋ก ๋ถ์
- ์์ธํ ๋ณด์์ฑ ํ๊ฐ ํ๋ ์์ํฌ
- ๋ช
ํํ ๊ณต๊ฒฉ ๋ฐ ๋ฐฉ์ด ๋ฉ์ปค๋์ฆ ์ค๋ช
- ์์ ํ ์ํธํ์ ์๋ก์ด ๊ด์ ์ ์
- ์์ ์ํ ์ด๋ก ์ ์์ฉ ๊ฐ๋ฅ์ฑ ์์ฐ
- ๊ฒฐ์ ๋ก ์ ์ํธํ์ ์ ํ ์ดํด์ ๊ธฐ์ฌ
- ํ๋ ์ํธํ์ ํ์ค ๋ณด์ ์ ์ ๋ฏธ์ถฉ์กฑ
- ๊ตฌํ ๋ณต์ก๋๊ฐ ๋์ ์ ์์
- ์์ฉ ์๋๋ฆฌ์ค๊ฐ ์๋์ ์ผ๋ก ์ ํ์
๋ณธ ๋
ผ๋ฌธ์ ์ํธํ๊ณผ ์์ ์ํ์ ๊ต์ฐจ ์ฐ๊ตฌ์ ์์ด ํฅ๋ฏธ๋ก์ด ์๋๋ฅผ ๋ํ๋ด๋ฉฐ, ์ค์ฉ์ฑ์์๋ ์ ํ์ด ์์ง๋ง ํด๋น ๋ถ์ผ์ ์ด๋ก ์ ๋ฐ์ ์ ๊ฐ์น ์๋ ๊ธฐ์ฌ๋ฅผ ์ ๊ณตํฉ๋๋ค.