[논문 리뷰] A Matrix Public Key Cryptosystem

M. Andrecut|arXiv (Cornell University)|2015. 05. 31.

Coding theory and cryptography참고 문헌 2인용 수 7

한 줄 요약

이 논문은 기존의 이산 로그 문제와 같은 수론적 난이도 문제를 대체하여 공통성 있는 행렬 다항식 키 교환을 사용하는 새로운 행렬 기반 공개 키 암호 체계를 제안한다. 행렬 다항식 곱의 교환 법칙을 활용하여 앨리스와 백스는 공개된 행렬과 비밀 계수 벡터를 사용해 공통의 비밀 키를 유도하며, 이에 대한 보안은 공개된 행렬로부터 유도된 과소정의된 연립방정식을 푸는 것이 계산적으로 불가능하다는 데 기반한다.

ABSTRACT

We discuss a matrix public key cryptosystem and its numerical implementation.

연구 동기 및 목표

• 기존의 이산 로그와 같은 전통적인 수론적 난이도 문제에 의존하지 않는 공개 키 암호 체계를 설계하는 것.
• 행렬 다항식의 교환 법칙을 기반으로 한 안전한 키 교환의 타당성을 탐색하는 것.
• C 언어와 표준 선형 대수 연산을 사용한 제안된 시스템의 실용적인 수치적 구현을 제공하는 것.
• 공격자의 문제를 과소정의된 연립방정식으로 모델링하여 체계의 보안을 분석하는 것.

제안 방법

• 체계는 앨리스와 백스가 각각 무작위로 선택한 두 개의 공개 행렬 U와 V를 사용하며, 이들이 교환 법칙을 만족할 필요는 없다.
• 비밀 키는 계수 벡터 a, ∈ ℂ^M 및 b, b̃ ∈ ℂ^J로, 행렬 다항식 P(U,a) = Σ a_m U^m 및 P(V,∼) = Σ âˆ¼_n V^n를 구성하는 데 사용된다.
• 앨리스는 A = P(U,a)P(V,∼)를 계산하고 공개하며, 백스는 B = P(U,b)P(V,b̃)를 계산하고 공개한다.
• 공통 비밀 키는 앨리스가 S_a = P(U,a)BP(V,∼)로, 백스는 S_b = P(U,b)AP(V,b̃)로 계산하며, 이는 행렬 다항식의 교환 법칙으로 인해 동일하다.
• 보안은 공개된 행렬로부터 유도된 연립방정식 Ψα = A를 푸는 것이 계산적으로 불가능하다는 데 기반한다. 여기서 Ψ는 U^m V^n의 열을 포함하고 α는 a_m ∼_n의 곱을 포함하며, K = M×N개의 미지수와 N²개의 방정식을 가진다.
• 구현은 리눅스 시스템에서 C를 사용하며, 행렬과 키는 검증을 위해十六진수 및 복소수 형식으로 표현된다.

실험 결과

연구 질문

• RQ1 행렬 다항식의 교환 법칙은 안전한 공개 키 키 교환 프로토콜을 구성하는 데 효과적으로 활용될 수 있는가?
• RQ2 기존의 이산 로그 기반 시스템(예: 디피-헬먼)과 비교해 볼 때, 행렬 기반 체계의 보안 수준은 어떠한가?
• RQ3 공개된 행렬과 공개 키로부터 비밀 키를 복구하는 데 필요한 계산 복잡도는 얼마인가?
• RQ4 수치적 안정성과 정확성을 확보하면서 시스템은 어떻게 실용적으로 구현될 수 있는가?
• RQ5 차원 M, N, J에 어떤 조건이 성립하면 체계가 대수적 공격에 대해 여전히 안전한가?

주요 결과

• 제안된 암호 체계는 행렬 다항식 곱의 교환 법칙을 통해 키 합의를 성공적으로 달성하며, 양 당사자가 동일한 비밀 키 S_a = S_b를 계산함을 보장한다.
• 체계의 보안은 K = M₁M₂N₁N₂개의 미지수와 N²개의 방정식을 가진 과소정의된 연립방정식을 푸는 데 기반하며, M₁, M₂, J₁, J₂ ≫ N일 경우 계산적으로 불가능하다.
• 수치적 시뮬레이션은 앨리스와 백스가 정확히 동일한 비밀 키를 계산하며, Sa와 Sb가 구현 출력 결과에서 정확히 일치함을 확인한다.
• 구현은 16×16 복소수 행렬과 32비트 부호 없는 정수를 사용하여 정상적으로 작동함을 보여주며, 이식성을 확보하기 위해 키는 16진수 형식으로 표현된다.
• 체계는 소인수분해나 이산 로그와 같은 수론적 가정에 의존하지 않으며, 기존의 공개 키 암호 기법에 대한 새로운 대수적 대안을 제공한다.
• 공격자가 Ψα = A 시스템을 효율적으로 풀 수 없다는 가정 하에, 계수 벡터의 차원이 행렬 크기 대비 크다면 이 시스템은 여전히 안전하다.