[논문 리뷰] A Diffie-Hellman Key Exchange Using Matrices Over Non Commutative Rings

Mohammad Eftekhari|arXiv (Cornell University)|2012. 09. 27.

graph theory and CDMA systems참고 문헌 9인용 수 5

한 줄 요약

이 논문은 유한체 Fq 위의 대칭군 S₃의 군대수 Fq[S₃] 위의 2×2 가역 행렬을 사용하여 비가환 행렬군에서의 디피-헬만 키 교환을 제안한다. 이는 가환 행렬군에서의 행렬식과 고유값을 악용하는 이산 로그 공격을 저항하기 위한 것이다. 프로토콜은 공역을 통해 거듭제곱을 은폐하고, 비가환 성질로 인해 고유값 기반 공격이나 공역 탐색 공격이 실패함을 보여주며, 이는 키 교환을 위한 안정적인 플랫폼을 제공한다.

ABSTRACT

We consider a key exchange procedure whose security is based on the difficulty of computing discrete logarithms in a group, and where exponentiation is hidden by a conjugation. We give a platform-dependent cryptanalysis of this protocol. Finally, to take full advantage of this procedure, we propose a group of matrices over a noncommutative ring as platform group

연구 동기 및 목표

• 유한체 위의 행렬 기반 디피-헬만 프로토콜의 취약성을 해결하기 위해, 행렬식과 고유값을 통해 유한체 위의 이산 로그 문제로 축소되는 문제를 해결하고자 한다.
• 가환 행렬군에서의 이러한 축소를 피하기 위해, 비가환 링 위의 행렬군이 키 교환을 위한 안정적인 플랫폼이 될 수 있는지 탐색하고자 한다.
• 유한체 Fq 위의 대칭군 S₃의 군대수 Fq[S₃]를 사용하여 GL₂(Fq[S₃])를 구체적으로 제안하고 분석하고자 한다.
• 표준 암호 분석 기법—예를 들어 고유값 분석, 공역 탐색, 선형 표현—이 제안된 프로토콜에 대해 실패함을 입증하고자 한다.
• 비가환 쿼드레터미넌트와 비가환 링 위의 행렬 대수를 활용하여 구현 가능한 안정된 키 교환 메커니즘을 제공하고자 한다.

제안 방법

• 유한체 Fq 위의 대칭군 S₃의 군대수 Fq[S₃]인 비가환 링 위의 행렬을 사용하여 키 교환을 위한 플랫폼 군을 구성한다.
• 공역을 통해 거듭제곱을 은폐한다: 공유 비밀은 TXᵃT⁻¹이며, 여기서 T는 비밀 공역 행렬이고 X는 공개 행렬이다.
• 비밀 지수 a를 계산하기 위해 베이비-스텝 거대단계 알고리즘을 변형하여 가능한 거듭제곱 Xᵏ를 탐색하고, 후보 공역 행렬 Tₓ,ᵧ에 대한 공역 검증을 수행한다.
• 비가환 환의 설정에서의 행렬 불변량을 정의하기 위해 쿼드레터미넌트와 비가환 행렬식(Gelfand-Retakh 정의 기반)을 사용하여 가환 행렬식 성질에 의존하지 않는다.
• 가역 대각 항목을 가진 블록 상삼각 형식을 사용하여 GL₂(Fq[S₃]) 내의 가역 행렬을 구성함으로써, 가역성 확보와 함께 효율적인 키 생성을 가능하게 한다.
• Wedderburn 정리를 적용하여 Fq[S₃] ≃ Fq ⊕ Fq ⊕ Mat₂(Fq)로 분해하고, |GL₂(Fq[S₃])| = q⁸(q−1)⁸(q+1)⁴(q²+1)(q²+q+1)를 도출하여 순서 추정 및 보안 파rameter 선택에 활용한다.

실험 결과

연구 질문

• RQ1 Fq[S₃]와 같은 비가환 링 위의 행렬군은 가환 행렬군에서의 행렬식과 고유값 구조를 악용하는 표준 이산 로그 공격을 저항할 수 있는가?
• RQ2 GL₂(Fq[S₃])에서 공역 기반 거듭제곱 은폐가 고유값 축소나 공역 탐색 공격을 방지하는가?
• RQ3 유한체 위의 행렬군의 문제점을 피하면서도 비가환 링 위의 행렬을 사용하여 안정적이고 효율적으로 실행 가능한 키 교환을 구성할 수 있는가?
• RQ4 GL₂(Fq[S₃])의 크기와 구조는 무엇이며, 보안을 위해 큰 순서의 원소 선택을 어떻게 지원하는가?
• RQ5 Xᵃ가 공역 형태 TXᵃT⁻¹로 은폐되어 있음으로써, 베이비-스텝 거대단계 또는 폴라드의 루 알고리즘이 얼마나 효과적으로 적용되지 않는가?

주요 결과

• 행렬식과 고유값 방법이 비가환 링에서 실패하기 때문에 프로토콜은 표준 이산 로그 공격을 저항한다: det(X) = 1이더라도 비가환 성질로 인해 문제를 Fq*로 축소하지 못한다.
• Xᵃ의 공역류는 공격자에게 알려져 있지 않으며, 브레이드 군 프로토콜과 달리 공역류 내에서의 탐색 공격은 효과가 없다.
• 쿼드레터미넌트와 비가환 행렬식을 사용함으로써 비가환 환 설정에서의 행렬 불변량을 정의할 수 있으며, 이는 가환 행렬식 성질에 의존하지 않는다.
• 군 GL₂(Fq[S₃])의 순서는 |GL₂(Fq[S₃])| = q⁸(q−1)⁸(q+1)⁴(q²+1)(q²+q+1)이며, |Fq| ≃ 2⁴⁰일 때 순서 ≥2⁸⁰인 원소 선택이 가능하여 보안을 확보할 수 있다.
• 변형된 베이비-스텝 거대단계 알고리즘은 O(max(n, q²))의 시간 복잡도로 실행되며, 비밀 지수 n ≥ 2⁸⁰과 함께 |Fq| ≃ 2⁴⁰로 설정할 것을 권장한다.
• 비가환 링의 구조로 인해 선형 표현 공격에 대해 안정되며, 유한체 위의 행렬군으로의 축소가 불가능하다.