[논문 리뷰] Cryptanalysis of the Algebraic Eraser and short expressions of permutations as products

Arkadius Kalka, Mina Teicher외 1명|arXiv (Cornell University)|2008. 04. 03.

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

한 줄 요약

이 논문은 대칭군 이론적 기법을 활용하여 공개 데이터로부터 공유 비밀을 복원함으로써, 대칭군 기반 키 교환 프로토콜인 색칠된 부르의 키 협의 프로토콜(CBKAP)에 대한 암호 분석 공격을 제시한다. 저자들은 확률적 군 이론 기법을 적용하여 무작위 치환의 짧은 곱으로 치환을 표현하는 히우리스틱 알고리즘을 제안하며, 이 알고리즘은 O(n² log n)의 표현 길이를 O(n⁴ log n)의 시간 복잡도로 달성한다. 또한 CBKAP에서 일반적으로 사용되는 키 분포가 이 방법에 취약하다는 것을 입증한다.

ABSTRACT

introduced the Algebraic Eraser scheme for key agreement over an insecure channel. This scheme is based on semidirect products of algebraic structures, and uses a novel hybrid of infinite and finite noncommutative groups. They also introduced the Colored Burau Key Agreement Protocol (CBKAP), a concrete realization of this scheme. We present an efficient method to extract the shared key out of the public information provided by CBKAP, assuming that the keys are chosen with standard distributions. Our methods come from probabilistic group theory, and seem to have not been used before in cryptanalysis. Of independent interest may be a simple heuristic algorithm we propose for finding short expressions of permutations as products of given random permutations. According to heuristic analysis supported by experiments, our algorithm gives expressions of length O(n 2 log n) in running time O(n 4 log n). Remark. We stress that we did not attack the variant of CBKAP actually implemented by SecureRF. This implementation uses proprietary distributions, and instances to attack are not available. We also mention that Dorian Goldfeld, following our attack, has found a distribution which circumvents the attacks presented here.

연구 동기 및 목표

• 공개 정보만을 사용하여 색칠된 부르의 키 협의 프로토콜(CBKAP)의 공유 비밀 키를 효율적으로 복원하는 방법을 개발하는 것.
• CBKAP에서 일반적으로 사용되는 키 분포가 확률적 군 이론 기반 암호 분석 기법에 얼마나 취약한지 조사하는 것.
• 주어진 무작위 치환의 짧은 곱으로 치환을 표현하는 히우리스틱 알고리즘을 설계하는 것. 이는 주요 암호 분석 응용과 독립적이다.
• 히우리스틱 분석과 실험을 통해 제안된 알고리즘의 표현 길이와 계산 효율성 측면에서의 성능을 평가하는 것.

제안 방법

• 대칭군 이론을 활용하여 대칭군 기반 키 교환 프로토콜의 핵심이 되는 반직접곱의 원소 분포를 모델링한다.
• 무작위 군 원소의 통계적 성질에 기반하여 주어진 무작위 치환의 곱으로 치환을 짧게 표현하는 히우리스틱 알고리즘을 적용한다.
• 색칠된 부르의 키 협의 프로토콜의 구조를 활용하여 공개 데이터를 히우리스틱 치환 곱 알고리즘으로 해결 가능한 연립방정식으로 매핑한다.
• 실험적 평가와 히우리스틱 분석을 통해 치환 곱 알고리즘의 평균 사례 성능을 추정한다.
• 알고리즘이 생성하는 치환 표현의 기대 길이를 분석하여, 이가 O(n² log n)의 비율로 증가함을 보여준다.
• 단계별로 짧은 표현을 구성하는 데 필요한 연산 수에 기반하여 알고리즘의 시간 복잡도를 O(n⁴ log n)으로 추정한다.

실험 결과

연구 질문

• RQ1 확률적 군 이론 기반 기법을 사용하여 공개 정보만으로 색칠된 부르의 키 협의 프로토콜의 공유 비밀을 효율적으로 복원할 수 있는가?
• RQ2 주어진 무작위 치환의 곱으로 표현된 무작위 치환에 대해 짧은 표현의 기대 길이는 얼마인가?
• RQ3 제안된 히우리스틱 알고리즘이 이러한 짧은 표현을 구성하는 데 있어 시간 복잡도 측면에서 얼마나 효율적인가?
• RQ4 CBKAP의 표준 키 분포는 제안된 암호 분석 기법에 얼마나 취약한가?
• RQ5 제안된 히우리스틱 알고리즘은 키 생성에 대한 현실적인 가정 하에 CBKAP의 보안을 깨는 데 사용될 수 있는가?

주요 결과

• 제안된 암호 분석 기법은 표준 분포로 키가 선택된 경우 공개 정보만을 사용하여 CBKAP의 공유 비밀을 성공적으로 복원한다.
• 무작위 치환을 주어진 무작위 치환의 곱으로 표현하는 데 사용된 히우리스틱 알고리즘은 평균 표현 길이가 O(n² log n)이다.
• 알고리즘의 시간 복잡도는 O(n⁴ log n)이며, 실용적인 크기의 입력에 대해서도 실행 가능하다.
• 결과는 히우리스틱 분석과 실험적 증거 모두로 지지되며, 평균 사례 입력에 대해 뛰어난 성능을 보임을 시사한다.
• 저자들은 이 공격이 실제로 SecureRF에서 사용하는 특허 키 분포를 가진 구현에는 적용되지 않음을 주목한다. 이는 공격를 피할 수 있도록 설계된 비공개 키 분포를 사용하기 때문이다.
• 도리언 골드펠드는 이후 이 공격을 회피할 수 있는 키 분포를 특정하여, 이 취약성은 표준 분포에 국한됨을 시사한다.