2025-11-22T00:52:16.221665

A Symmetric-Key Cryptosystem Based on the Burnside Ring of a Compact Lie Group

Ghanem
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.
academic

์ปดํŒฉํŠธ ๋ฆฌ ๊ตฐ์˜ ๋ฒˆ์‚ฌ์ด๋“œ ํ™˜์„ ๊ธฐ๋ฐ˜์œผ๋กœ ํ•œ ๋Œ€์นญํ‚ค ์•”ํ˜ธ ์‹œ์Šคํ…œ

๊ธฐ๋ณธ ์ •๋ณด

  • ๋…ผ๋ฌธ 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์™€์˜ ๋ฒˆ์‚ฌ์ด๋“œ ๊ณฑ์„ ํ†ตํ•ด ์•”ํ˜ธํ™”๋ฉ๋‹ˆ๋‹ค.

์—ฐ๊ตฌ ๋ฐฐ๊ฒฝ ๋ฐ ๋™๊ธฐ

๋ฌธ์ œ ๋ฐฐ๊ฒฝ

  1. ์ „ํ†ต์  ์„ ํ˜• ์•”ํ˜ธ์˜ ์ทจ์•ฝ์„ฑ: Hill ์•”ํ˜ธ์™€ ๊ฐ™์€ ๊ณ ์ „ ์„ ํ˜• ์•”ํ˜ธ๋Š” ๊ณ ์ •๋œ ์œ ํ•œ ์ฐจ์› ๊ณต๊ฐ„์—์„œ ์ž‘๋™ํ•˜๋ฏ€๋กœ, ๊ณต๊ฒฉ์ž๋Š” ์ถฉ๋ถ„ํ•œ ํ‰๋ฌธ-์•”ํ˜ธ๋ฌธ ์Œ์„ ์ˆ˜์ง‘ํ•˜์—ฌ ์„ ํ˜• ๋ฐฉ์ •์‹๊ณ„๋ฅผ ๊ตฌ์„ฑํ•จ์œผ๋กœ์จ ํ‚ค๋ฅผ ์™„์ „ํžˆ ๋ณต๊ตฌํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.
  2. ์–‘์ž ํ›„ ์•”ํ˜ธํ•™ ํ•„์š”์„ฑ: ์–‘์ž ์ปดํ“จํŒ…์˜ ์œ„ํ˜‘์œผ๋กœ ์ธํ•ด ์—ฐ๊ตฌ์ž๋“ค์€ ๋น„์ „ํ†ต์ ์ธ ์ˆ˜๋ก  ๊ฐ€์ •์„ ๊ธฐ๋ฐ˜์œผ๋กœ ํ•œ ์•”ํ˜ธ ์›์‹œ๋ฅผ ์ฐพ๊ณ  ์žˆ์œผ๋ฉฐ, ์—ฌ๊ธฐ์—๋Š” ๊ตฐ๋ก  ๋ฐ ๊ทธ๋ž˜ํ”„๋ก ์„ ๊ธฐ๋ฐ˜์œผ๋กœ ํ•œ ๋ฐฉ์•ˆ์ด ํฌํ•จ๋ฉ๋‹ˆ๋‹ค.
  3. ์œ ํ•œ ์ฐจ์› ํ”Œ๋žซํผ์˜ ๊ทผ๋ณธ์  ์ œํ•œ: ๊ธฐ์กด์˜ ๋Œ€์ˆ˜ ์•”ํ˜ธ ์‹œ์Šคํ…œ์€ ์ค‘์š”ํ•œ ๋Œ€์•ˆ์„ ์ œ๊ณตํ•˜์ง€๋งŒ ์—ฌ์ „ํžˆ ์œ ํ•œ ์ฐจ์› ํ”Œ๋žซํผ์—์„œ ์ž‘๋™ํ•˜๋ฉฐ, ๊ฐœ๋…์  ๊ฒฐํ•จ์ด ์กด์žฌํ•ฉ๋‹ˆ๋‹ค. ์ฆ‰, ์ถฉ๋ถ„ํ•œ ํ‰๋ฌธ-์•”ํ˜ธ๋ฌธ ์Œ์ด ํ‚ค ์—ฐ์‚ฐ์ž๋ฅผ ์™„์ „ํžˆ ์ œ์•ฝํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.

์—ฐ๊ตฌ ๋™๊ธฐ

๋ณธ ๋…ผ๋ฌธ์˜ ํ•ต์‹ฌ ๋™๊ธฐ๋Š” ์œ ํ•œ ์ฐจ์› ์„ค์ •์˜ ํ•œ๊ณ„๋ฅผ ๊ทน๋ณตํ•˜๊ณ , ์•”ํ˜ธํ™” ์—ฐ์‚ฐ์„ ๋ฌดํ•œ ๊ณ„์ˆ˜ ๋ชจ๋“ˆ์ธ ์ปดํŒฉํŠธ ๋ฆฌ ๊ตฐ์˜ ๋ฒˆ์‚ฌ์ด๋“œ ํ™˜์œผ๋กœ ์ด๋™์‹œ์ผœ, ์ด๋ก ์ ์œผ๋กœ ์ „ํ†ต์  ์„ ํ˜• ์•”ํ˜ธ์˜ ๊ทผ๋ณธ์  ์•ฝ์ ์„ ํ”ผํ•˜๋Š” ๊ฒƒ์ž…๋‹ˆ๋‹ค.

ํ•ต์‹ฌ ๊ธฐ์—ฌ

  1. ๋ฒˆ์‚ฌ์ด๋“œ ํ™˜ ๊ธฐ๋ฐ˜์˜ ์ƒˆ๋กœ์šด ๋Œ€์นญ ์•”ํ˜ธ ์‹œ์Šคํ…œ ์ œ์•ˆ: ์ปดํŒฉํŠธ ๋ฆฌ ๊ตฐ์˜ ๋ฒˆ์‚ฌ์ด๋“œ ํ™˜์„ ์•”ํ˜ธํ•™์— ์ฒ˜์Œ์œผ๋กœ ์ ์šฉํ•˜๋ฉฐ, ํŠนํžˆ O(2) ๊ตฐ์˜ ๊ฒฝ์šฐ๋ฅผ ๋‹ค๋ฃน๋‹ˆ๋‹ค.
  2. ์ง€์ง€ ๋ณด์กด ์„ฑ์งˆ ์ฆ๋ช…: G=O(2)์— ๋Œ€ํ•ด, ์•”ํ˜ธํ™” ๊ณผ์ •์ด ์ƒ์„ฑ์› {(Dโ‚),...,(D_L),(SO(2)),(O(2))}์—์„œ ํ‰๋ฌธ์˜ ์ง€์ง€๋ฅผ ๋ณด์กดํ•จ์„ ์ฆ๋ช…ํ•˜์—ฌ ์•”ํ˜ธ๋ฌธ ํ™•์žฅ ๋ฐ ๋ณด์•ˆ ๋ˆ„์ถœ์„ ๋ฐฉ์ง€ํ•ฉ๋‹ˆ๋‹ค.
  3. ์ˆ˜๋™ ๋ชจ๋ธ์—์„œ์˜ ๋ณด์•ˆ์„ฑ ๋ถ„์„ ์ˆ˜๋ฆฝ: ๋ชจ๋“  ์œ ํ•œ ๊ด€์ฐฐ ์ง‘ํ•ฉ์ด ์œ ํ•œ ๊ณ„์ˆ˜ ๋ถ€๋ถ„๋ชจ๋“ˆ W_LโŠ‚A(O(2))์—์„œ์˜ ์—ฐ์‚ฐ๋งŒ ์ œ์•ฝํ•  ์ˆ˜ ์žˆ์œผ๋ฉฐ, ์œ ํ•œ ๋ฐ์ดํ„ฐ๋กœ๋ถ€ํ„ฐ ํ‚ค์˜ ์ •๋ณด ์ด๋ก ์  ๋ถˆ๊ฐ€์‹๋ณ„์„ฑ์„ ๋ณด์—ฌ์ค๋‹ˆ๋‹ค.
  4. IND-CPA ๋น„์•ˆ์ „์„ฑ ์ฆ๋ช…: ์ด๋ฉด์ฒด ํƒ์‚ฌ ๊ธฐ๋ฐ˜์˜ ๋‹จ์ผ ์งˆ์˜ ์„ ํƒ ํ‰๋ฌธ ๊ตฌ๋ถ„์ž๋ฅผ ํ†ตํ•ด ์ด ๋ฐฉ์•ˆ์ด IND-CPA ๋ณด์•ˆ์„ฑ์„ ๋งŒ์กฑํ•˜์ง€ ์•Š์Œ์„ ์ฆ๋ช…ํ•ฉ๋‹ˆ๋‹ค.

๋ฐฉ๋ฒ•๋ก  ์ƒ์„ธ ์„ค๋ช…

์ž‘์—… ์ •์˜

๋‹ค์Œ๊ณผ ๊ฐ™์€ ๋Œ€์นญํ‚ค ์•”ํ˜ธ ๋ฐฉ์•ˆ์„ ์„ค๊ณ„ํ•ฉ๋‹ˆ๋‹ค:

  • ์ž…๋ ฅ: ์ž„์˜์˜ ์œ ํ•œ ๊ธธ์ด ๋ฉ”์‹œ์ง€
  • ์ถœ๋ ฅ: ๋ฒˆ์‚ฌ์ด๋“œ ํ™˜์˜ ์•”ํ˜ธํ™” ์›์†Œ
  • ์ œ์•ฝ: ๋ฌดํ•œ ์ฐจ์› ๊ตฌ์กฐ๋ฅผ ํ™œ์šฉํ•˜์—ฌ ์ „ํ†ต์  ์„ ํ˜•๋Œ€์ˆ˜ ๊ณต๊ฒฉ์— ์ €ํ•ญ

๋ฒˆ์‚ฌ์ด๋“œ ํ™˜ ์ด๋ก  ๊ธฐ์ดˆ

๋ฒˆ์‚ฌ์ด๋“œ ํ™˜์˜ ๊ตฌ์„ฑ

์ปดํŒฉํŠธ ๋ฆฌ ๊ตฐ G์— ๋Œ€ํ•ด, ๋ฒˆ์‚ฌ์ด๋“œ ํ™˜ A(G)๋Š” ๋‹ค์Œ๊ณผ ๊ฐ™์ด ์ •์˜๋ฉ๋‹ˆ๋‹ค:

  • ๊ธฐ์ดˆ: ๋ถ€๋ถ„๊ตฐ ์ผค๋ ˆ๋ฅ˜ ์ง‘ํ•ฉ ฮฆโ‚€(G) = {(H) : H โ‰ค G, W(H)๋Š” ์œ ํ•œ}
  • ๊ตฌ์กฐ: ์ž์œ  Z-๋ชจ๋“ˆ A(G) = Zฮฆโ‚€(G)
  • ๊ณฑ: ๊ถค๋„ ๊ณ„์‚ฐ์„ ํ†ตํ•ด ์ •์˜๋œ ๋ฒˆ์‚ฌ์ด๋“œ ๊ณฑ

O(2)์˜ ๋ฒˆ์‚ฌ์ด๋“œ ํ™˜

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โ‚–)02(D_l), l=gcd(k,m)

์•”ํ˜ธ ์‹œ์Šคํ…œ ์„ค๊ณ„

ํ‚ค ๊ตฌ์กฐ

ํ‚ค๋Š” ์‚ผ์ค‘์Œ (G,O,S)์œผ๋กœ ๊ตฌ์„ฑ๋ฉ๋‹ˆ๋‹ค:

  1. ๊ตฐ G: ์ปดํŒฉํŠธ ๋ฆฌ ๊ตฐ, ์˜ˆ: G = O(2)
  2. ์ˆœ์„œ O: ๊ธฐ์ดˆ ์›์†Œ ฮฆโ‚€(G)์˜ ๋น„๋ฐ€ ์ „์ˆœ์„œ
  3. ํ‘œํ˜„ ์ง€ํ‘œ ์ง‘ํ•ฉ S: ์œ ํ•œ ์ง‘ํ•ฉ S = {kโ‚,kโ‚‚,...,kโ‚˜}

ํ‚ค ์›์†Œ ๊ตฌ์„ฑ

์ง‘ํ•ฉ S๋กœ๋ถ€ํ„ฐ ํ‚ค ์›์†Œ๋ฅผ ๊ตฌ์„ฑํ•ฉ๋‹ˆ๋‹ค: k=โˆjโˆˆSdegโกVjk = \prod_{j \in S} \deg_{V_j}

์—ฌ๊ธฐ์„œ deg_๋Š” j๋ฒˆ์งธ ๋ถˆ๊ฐ€์•ฝ ํ‘œํ˜„์˜ ๊ธฐ๋ณธ ์ฐจ์ˆ˜์ž…๋‹ˆ๋‹ค. O(2)์— ๋Œ€ํ•ด:

  • deg_ = (O(2)) (์ž๋ช… ํ‘œํ˜„)
  • deg_ = (O(2)) - (Dโ‚˜) (๋น„์ž๋ช… ํ‘œํ˜„)

์•”ํ˜ธํ™”/๋ณตํ˜ธํ™” ํ”„๋กœํ† ์ฝœ

  1. ์ „์ฒ˜๋ฆฌ: ์›๋ณธ ๋ฐ์ดํ„ฐ๋ฅผ ์ •์ˆ˜ ๋ฒกํ„ฐ pโƒ— โˆˆ Z^L๋กœ ๋ณ€ํ™˜
  2. ํ™˜ ์ธ์ฝ”๋”ฉ: ๋น„๋ฐ€ ์ˆœ์„œ O๋ฅผ ์‚ฌ์šฉํ•˜์—ฌ ๋ฒกํ„ฐ๋ฅผ p โˆˆ A(G)๋กœ ๋งคํ•‘
  3. ์•”ํ˜ธํ™”: ์•”ํ˜ธ๋ฌธ c = p ยท k ๊ณ„์‚ฐ
  4. ์ „์†ก: ์œ ํ•œ ์ง€์ง€ ์•”ํ˜ธ๋ฌธ ์ „์†ก
  5. ๋ณตํ˜ธํ™”: k๊ฐ€ ๋Œ€ํ•ฉ์ด๋ฏ€๋กœ p = c ยท k ๊ณ„์‚ฐ
  6. ๋ณตํ˜ธ: ์›๋ณธ ๋ฐ์ดํ„ฐ ๋ณต๊ตฌ

๊ธฐ์ˆ  ํ˜์‹ ์ 

  1. ๋ฌดํ•œ ์ฐจ์› ํ”Œ๋žซํผ: ์œ ํ•œ ์ฐจ์› ์ œํ•œ์„ ๊ทน๋ณตํ•˜๊ณ  ๋ฌดํ•œ ๊ณ„์ˆ˜ ๋ชจ๋“ˆ์—์„œ ์ž‘๋™
  2. ๋Œ€ํ•ฉ ์„ฑ์งˆ: ํ‚ค ์›์†Œ k๋Š” kยฒ = (O(2))๋ฅผ ๋งŒ์กฑํ•˜์—ฌ ๋ณตํ˜ธํ™” ๊ณผ์ •์„ ๋‹จ์ˆœํ™”
  3. ์ง€์ง€ ๋ณด์กด: ์•”ํ˜ธํ™”๊ฐ€ ํ‰๋ฌธ์˜ ์ตœ๋Œ€ ์ด๋ฉด์ฒด ์ง€ํ‘œ๋ฅผ ์ฆ๊ฐ€์‹œํ‚ค์ง€ ์•Š์•„ ์•”ํ˜ธ๋ฌธ ํŒฝ์ฐฝ ๋ฐฉ์ง€

์ด๋ก ์  ๋ถ„์„

์ง€์ง€ ๋ณด์กด ์ •๋ฆฌ

๋ช…์ œ 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))W_L := \mathbb{Z}[\{(D_1),...,(D_L)\}] \subset 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โ‰ฅ12ฮฑS(n)(Dgcd(x,n))c_x = (D_x) \cdot k_S = (D_x) + \sum_{nโ‰ฅ1} 2ฮฑ_S(n)(D_{gcd(x,n)})

์—ฌ๊ธฐ์„œ ฮฑ_S(n)์€ ๋ช…์ œ 2.1์—์„œ ์ฃผ์–ด์ง„ ๊ณต์‹์œผ๋กœ ๊ฒฐ์ •๋ฉ๋‹ˆ๋‹ค.

๋ช…์ œ 4.2: ์ž„์˜์˜ ๋‘ ๊ฐœ์˜ ์„œ๋กœ ๋‹ค๋ฅธ ํ‚ค ์ง‘ํ•ฉ Sโ‚€ โ‰  Sโ‚์— ๋Œ€ํ•ด, (Dโ‚“)ยทk_{Sโ‚€} โ‰  (Dโ‚“)ยทk_{Sโ‚}์ธ x โˆˆ โ„•์ด ์กด์žฌํ•ฉ๋‹ˆ๋‹ค.

๋‹จ์ผ ์งˆ์˜ ๊ตฌ๋ถ„์ž:

  1. ฮฒ_{Sโ‚€}(x)์™€ ฮฒ_{Sโ‚}(x) ๊ณ„์‚ฐ
  2. ฮฒ_{Sโ‚€}(x) โ‰  ฮฒ_{Sโ‚}(x)๋ฅผ ๋งŒ์กฑํ•˜๋Š” x ์„ ํƒ
  3. p = (Dโ‚“) ์งˆ์˜, ๊ณ„์ˆ˜์— ๋”ฐ๋ผ ํ‚ค ๊ฒฐ์ •

๋ณด์•ˆ์„ฑ ํ‰๊ฐ€

์žฅ์ 

  1. ์ˆ˜๋™ ๊ณต๊ฒฉ์— ๋Œ€ํ•œ ์ €ํ•ญ: ์•”ํ˜ธ๋ฌธ ๊ณต๊ฒฉ ๋ฐ ๊ธฐ์ง€ํ‰๋ฌธ ๊ณต๊ฒฉ ํ•˜์—์„œ ํ‚ค๋Š” ์ •๋ณด ์ด๋ก ์  ๋ถˆ๊ฐ€์‹๋ณ„์„ฑ์„ ๊ฐ€์ง
  2. ์•”ํ˜ธ๋ฌธ ํŒฝ์ฐฝ ์—†์Œ: ์ง€์ง€ ๋ณด์กด ์„ฑ์งˆ์ด ์•”ํ˜ธ๋ฌธ ํ™•์žฅ์„ ๋ฐฉ์ง€
  3. ์ด๋ก ์  ํ˜์‹ : ๋Œ€์ˆ˜ ์œ„์ƒ ๋„๊ตฌ๋ฅผ ์•”ํ˜ธํ•™์— ์ฒ˜์Œ์œผ๋กœ ๋„์ž…

์ œํ•œ์‚ฌํ•ญ

  1. IND-CPA ๋ฏธ์ถฉ์กฑ: ๊ฒฐ์ •๋ก ์  ์„ ํ˜• ๊ตฌ์„ฑ์€ ํ‘œ์ค€ ๋ถˆ๊ฐ€๊ตฌ๋ถ„์„ฑ์— ๋„๋‹ฌํ•  ์ˆ˜ ์—†์Œ
  2. ์‹ค์šฉ์„ฑ ์ œํ•œ: ๋ณต์žกํ•œ ์ˆ˜ํ•™ ๊ตฌ์กฐ๊ฐ€ ์‹ค์ œ ๊ตฌํ˜„ ํšจ์œจ์„ฑ์— ์˜ํ–ฅ์„ ๋ฏธ์น  ์ˆ˜ ์žˆ์Œ
  3. ์ œํ•œ๋œ ์‘์šฉ ์‹œ๋‚˜๋ฆฌ์˜ค: ์ฃผ๋กœ ์ˆ˜๋™ ๋ณด์•ˆ์ด ํ•„์š”ํ•˜์ง€๋งŒ ๊ฒฐ์ •๋ก ์  ์•”ํ˜ธํ™”๋ฅผ ์ˆ˜์šฉํ•  ์ˆ˜ ์žˆ๋Š” ๊ฒฝ์šฐ์— ์ ์šฉ

๊ด€๋ จ ์—ฐ๊ตฌ

์ „ํ†ต์  ์„ ํ˜• ์•”ํ˜ธ

  • Hill ์•”ํ˜ธ ๋ฐ ๊ทธ ๋ณ€ํ˜•
  • ์œ ํ•œ ์ฐจ์› ์„ ํ˜• ๋ณ€ํ™˜์˜ ์ทจ์•ฝ์„ฑ ๋ถ„์„

์–‘์ž ํ›„ ์•”ํ˜ธํ•™

  • ์น˜ํ™˜๊ตฐ ๋งคํ•‘(PGM) ์•”ํ˜ธ ์‹œ์Šคํ…œ
  • ๊ทธ๋ž˜ํ”„๋ก  ๊ธฐ๋ฐ˜์˜ ๋Œ€์นญ ๋ธ”๋ก ์•”ํ˜ธ
  • ์ตœ์†Œ ์ƒ์„ฑ ํŠธ๋ฆฌ(MST) ๋ฐ ์ธ์ ‘ ํ–‰๋ ฌ ๋ฐฉ๋ฒ•

๋Œ€์ˆ˜ ์•”ํ˜ธํ•™

  • ์•”ํ˜ธํ•™์—์„œ์˜ ๊ตฐ๋ก  ์‘์šฉ
  • ํ‘œํ˜„๋ก  ๋ฐ ๋“ฑ๋ณ€ ์ฐจ์ˆ˜ ์ด๋ก 

๊ฒฐ๋ก  ๋ฐ ๋…ผ์˜

์ฃผ์š” ๊ฒฐ๋ก 

  1. ๋ฌดํ•œ ์ฐจ์› ๋ฒˆ์‚ฌ์ด๋“œ ํ™˜์„ ๊ธฐ๋ฐ˜์œผ๋กœ ํ•œ ๋Œ€์นญ ์•”ํ˜ธ ์‹œ์Šคํ…œ์˜ ์„ฑ๊ณต์  ๊ตฌ์„ฑ
  2. ์ˆ˜๋™ ๊ณต๊ฒฉ ๋ชจ๋ธ์—์„œ์˜ ์ด๋ก ์  ๋ณด์•ˆ์„ฑ ์ž…์ฆ
  3. ๊ฒฐ์ •๋ก ์  ์„ ํ˜• ๋ฐฉ์•ˆ์˜ ๊ทผ๋ณธ์  ์ œํ•œ ์ฆ๋ช…

ํ–ฅํ›„ ๋ฐฉํ–ฅ

  1. ๋น„๊ฒฐ์ •๋ก ์  ํ™•์žฅ: CPA ๊ณต๊ฒฉ์„ ํ”ผํ•˜๊ธฐ ์œ„ํ•œ ๋ฌด์ž‘์œ„ํ™” ๋„์ž…
  2. ๋‹ค๋ฅธ ๋ฆฌ ๊ตฐ: ์„œ๋กœ ๋‹ค๋ฅธ ์ปดํŒฉํŠธ ๋ฆฌ ๊ตฐ์˜ ์•”ํ˜ธํ•™์  ์„ฑ์งˆ ํƒ์ƒ‰
  3. ๊ตฌํ˜„ ์ตœ์ ํ™”: ํšจ์œจ์ ์ธ ๋ฒˆ์‚ฌ์ด๋“œ ํ™˜ ์—ฐ์‚ฐ ์•Œ๊ณ ๋ฆฌ์ฆ˜ ๊ฐœ๋ฐœ
  4. ํ˜ผํ•ฉ ๋ฐฉ์•ˆ: ์ „ํ†ต ์•”ํ˜ธํ•™ ๊ธฐ๋ฒ•๊ณผ ๊ฒฐํ•ฉํ•˜์—ฌ ์‹ค์šฉ์„ฑ ํ–ฅ์ƒ

์‹ฌ์ธต ํ‰๊ฐ€

ํ˜์‹ ์„ฑ

  • ์ด๋ก ์  ๋ŒํŒŒ: ๋ฒˆ์‚ฌ์ด๋“œ ํ™˜ ์ด๋ก ์„ ์•”ํ˜ธํ•™์— ์ฒ˜์Œ์œผ๋กœ ์ ์šฉ
  • ๊ฐœ๋…์  ํ˜์‹ : ์œ ํ•œ ์ฐจ์› ํ”Œ๋žซํผ์˜ ๊ทผ๋ณธ์  ์ œํ•œ ๊ทน๋ณต
  • ์ˆ˜ํ•™์  ๊นŠ์ด: ๋Œ€์ˆ˜ ์œ„์ƒ, ํ‘œํ˜„๋ก  ๋ฐ ์•”ํ˜ธํ•™์˜ ์œตํ•ฉ

๊ธฐ์ˆ ์  ๊ธฐ์—ฌ

  • ์—„๋ฐ€ํ•œ ์ˆ˜ํ•™์  ์ฆ๋ช… ๋ฐ ์ด๋ก  ๋ถ„์„
  • ์ƒ์„ธํ•œ ๋ณด์•ˆ์„ฑ ํ‰๊ฐ€ ํ”„๋ ˆ์ž„์›Œํฌ
  • ๋ช…ํ™•ํ•œ ๊ณต๊ฒฉ ๋ฐ ๋ฐฉ์–ด ๋ฉ”์ปค๋‹ˆ์ฆ˜ ์„ค๋ช…

์‹ค์šฉ์  ๊ฐ€์น˜

  • ์–‘์ž ํ›„ ์•”ํ˜ธํ•™์— ์ƒˆ๋กœ์šด ๊ด€์  ์ œ์‹œ
  • ์ˆœ์ˆ˜ ์ˆ˜ํ•™ ์ด๋ก ์˜ ์‘์šฉ ๊ฐ€๋Šฅ์„ฑ ์‹œ์—ฐ
  • ๊ฒฐ์ •๋ก ์  ์•”ํ˜ธํ™”์˜ ์ œํ•œ ์ดํ•ด์— ๊ธฐ์—ฌ

์ œํ•œ์‚ฌํ•ญ

  • ํ˜„๋Œ€ ์•”ํ˜ธํ•™์˜ ํ‘œ์ค€ ๋ณด์•ˆ ์ •์˜ ๋ฏธ์ถฉ์กฑ
  • ๊ตฌํ˜„ ๋ณต์žก๋„๊ฐ€ ๋†’์„ ์ˆ˜ ์žˆ์Œ
  • ์‘์šฉ ์‹œ๋‚˜๋ฆฌ์˜ค๊ฐ€ ์ƒ๋Œ€์ ์œผ๋กœ ์ œํ•œ์ 

๋ณธ ๋…ผ๋ฌธ์€ ์•”ํ˜ธํ•™๊ณผ ์ˆœ์ˆ˜ ์ˆ˜ํ•™์˜ ๊ต์ฐจ ์—ฐ๊ตฌ์— ์žˆ์–ด ํฅ๋ฏธ๋กœ์šด ์‹œ๋„๋ฅผ ๋‚˜ํƒ€๋‚ด๋ฉฐ, ์‹ค์šฉ์„ฑ์—์„œ๋Š” ์ œํ•œ์ด ์žˆ์ง€๋งŒ ํ•ด๋‹น ๋ถ„์•ผ์˜ ์ด๋ก ์  ๋ฐœ์ „์— ๊ฐ€์น˜ ์žˆ๋Š” ๊ธฐ์—ฌ๋ฅผ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.