[논문 리뷰] A Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials.

Reinhold Burger, Albert Heinle|arXiv (Cornell University)|2014. 07. 04.

Coding theory and cryptography참고 문헌 34인용 수 4

한 줄 요약

이 논문은 다변수 비가환 오어 다항식 링을 기반으로 한 새로운 키 교환 프로토콜을 제안한다. 이는 Boucher 등이 2010년에 제안한 방식을 확장하면서도, Dubois와 Kammerer가 2011년에 제기한 유클리드 도메인 기반 공격에 저항한다. 프로토콜은 비가환 대수적 구조의 장점을 유지하면서도 보안에 영향을 주지 않고 다양한 링 선택이 가능하다.

ABSTRACT

In this paper we present a key exchange protocol based on multivariate non-commutative polynomial rings, analogous to the classic Diffie-Hellman method. Ourtechnique extends the proposed scheme of Boucher et al. from 2010. Their method was broken by Dubois and Kammerer in 2011, who exploited the Euclidean domain structure of the chosen ring. However, our proposal is immune against such attacks, without losing the advantages of non-commutative polynomial rings as outlined by Boucher et al. Moreover, our extension is not restricted to any particular ring, but is designed to allow users to readily choose from a large class of rings when applying the protocol.

연구 동기 및 목표

• Boucher 등이 2010년에 제안한 키 교환 프로토콜의 보안 취약점을 해결하기 위해, 이는 유클리드 도메인의 구조를 악용한 공격으로 인해 해체된 바 있다.
• 비가환 다항식 링의 성능과 대수적 장점을 유지하면서도 기존의 대수적 암호분석에 대한 저항력을 강화하기 위해.
• 특정 링 구조에 종속되지 않는 프로토콜을 설계하여, 사용자가 광범위한 다변수 오어 다항식 링의 집합에서 선택할 수 있도록 하기 위해.
• 특히 GCD 계산에 의존하는 공격에 대비하여, 가환성 또는 유클리드 링 성질을 타깃으로 삼는 공격으로부터 보안을 유지하기 위해.

제안 방법

• 프로토콜은 다변수 비가환 오어 다항식 링을 기반으로 한 대수적 구조를 사용하며, 비가환성과 비유클리드 성질을 활용한다.
• 각 당사자가 비가환 곱셈을 통해 유도된 공개값을 생성하고 교환하는 방식으로, 디피-헬먼 키 교환 파라다임을 응용한다.
• 보안은 비가환 다항식 시스템을 푸는 데 어려움이 있기에 유지되며, 이는 유클리드 알고리즘 또는 GCD 계산에 의존하는 공격에 저항한다.
• 프로토콜은 일반화된 설계를 통해 사용자가 적절한 자기사상과 도함수를 갖춘 광범위한 다변수 오어 다항식 링의 집합에서 선택할 수 있도록 한다.
• 공유 비밀은 비가환 곱셈을 통해 계산되므로, GCD와 같은 표준 대수적 불변량은 암호분석에 효과가 없다.
• 가환성 또는 유클리드 구조에 의존하지 않아서, Dubois와 Kammerer가 2011년에 악용한 공격 벡터를 피할 수 있다.

실험 결과

연구 질문

• RQ1 Boucher 등이 2010년에 제안한 프로토콜이 유클리드 도메인의 구조를 악용당한 2011년 공격에 저항하는 비가환 키 교환 프로토콜을 구축할 수 있는가?
• RQ2 비가환 다항식 링의 장점을 유지하면서도 기존의 대수적 암호분석에 대한 저항력을 확보할 수 있는가?
• RQ3 보안이나 효율성에 손상 없이, 다양한 다변수 오어 다항식 링으로 프로토콜을 얼마나 일반화할 수 있는가?
• RQ4 GCD 또는 유클리드 알고리즘에 의존하지 않는 비가환 링 기반 키 교환 메커니즘을 설계할 수 있는가?

주요 결과

• 제안된 프로토콜은 Boucher 등이 사용한 링의 유클리드 도메인 성질을 악용한 2011년 Dubois와 Kammerer의 공격에 대해 안전하다.
• Boucher 등이 처음 제안한 바와 같이, 비가환 다항식 링의 계산 효율성과 대수적 구조적 이점을 유지한다.
• 프로토콜은 특정 링에 국한되지 않으며, 적절한 자기사상과 도함수를 갖춘 광범위한 다변수 오어 다항식 링의 집합에서 선택 가능하다.
• 프로토콜의 보안은 비가환 다항식 시스템을 푸는 데의 어려움에 기반하며, GCD 계산과 같은 표준 대수적 불변량에 의해도 공격에 효과가 없다.
• 프로토콜은 새로운 취약점을 유발하지 않고도 디피-헬먼 파라다임을 비가환 환으로 일반화하는 데 성공했다.