비가환군을 이용한 엘가말 암호 일반화

초록

본 논문은 특수선형군 SL(n, q)를 기반으로 하는 MOR 암호 체계를 제시하고, 해당 군의 자동사상군을 상세히 분석한다. 자동사상의 구조적 특성을 이용해 비가환군 환경에서 ElGamal 암호보다 높은 보안성을 확보함을 보인다.

상세 분석

본 연구는 기존의 ElGamal 암호가 정의된 가환군, 즉 유한체의 곱군을 비가환군인 특수선형군 SL(n, q)으로 확장하는 MOR(Multiplicative Order‑preserving) 암호 체계의 보안성을 심층 분석한다. 먼저 저자는 SL(n, q)의 자동사상군 Aut(SL(n, q))을 두 종류, 즉 내부자동사상(Inn)과 외부자동사상(Out)으로 구분하고, 각각이 군의 구조에 미치는 영향을 정량화한다. 내부자동사상은 군 자체의 원소에 의한 공액(conjugation)으로 구성되며, 이는 군의 중심이 자명함을 이용해 거의 전부를 차지한다. 외부자동사상은 필드 자동사상과 전치(transpose) 자동사상의 조합으로 나타나며, 특히 n≥3인 경우 Out(SL(n, q))는 필드 자동사상과 그래프 자동사상의 반직접곱으로 표현된다. 이러한 자동사상의 복합 구조는 공격자가 비밀키를 복원하기 위해 필요한 문제를 두 단계로 나누게 만든다. 첫 번째 단계는 주어진 자동사상의 행렬 표현을 통해 가능한 내부자동사상의 후보 집합을 찾는 것이며, 두 번째 단계는 필드 자동사상의 파라미터를 추정하는 것이다. 두 단계 모두 현재 알려진 다항시간 알고리즘으로는 해결이 어려운 문제로 귀결된다. 특히, 자동사상의 고유값 스펙트럼을 이용한 선형대수학적 접근은 기존의 이산대수 문제와는 다른 복합 난이도를 제공한다. 저자는 이러한 구조적 복잡성을 바탕으로, MOR 암호의 암호문 생성 과정에서 사용되는 자동사상의 선택이 충분히 무작위적이고 복잡하면, 기존 ElGamal이 직면하는 디스크리트 로그 문제보다 더 강력한 보안 경계를 형성한다는 결론을 도출한다. 또한, 자동사상의 순환성(order)와 군의 차원 n, 필드 크기 q 사이의 관계를 정량적으로 분석하여, 실용적인 파라미터 설정 가이드라인을 제시한다. 이와 같은 분석은 비가환군 기반 암호 설계에 있어 자동사상의 구조적 특성을 활용하는 새로운 패러다임을 제시한다는 점에서 학술적·실용적 의의를 가진다.