[논문 리뷰] Braid Group Cryptography

David Garber|ArXiv.org|2007. 11. 26.

Cryptography and Data Security참고 문헌 48인용 수 23

한 줄 요약

이 논문은 브레인 군 기반의 공개키 암호체계인 브레인 군 암호에 대해 조사한다. 이는 브레인 군 내에서 어려운 알고리즘 문제, 예를 들어 공역 탐색 문제를 기반으로 한다. 키 교환 프로토콜, 암호화 체계, 그리고 길이 기반, 선형 표현, 서밋 세트 공격 등을 포함한 공격 방법을 상세히 기술하며, 향후 암호체계를 위한 대안으로 비아벨 군을 탐색한다.

ABSTRACT

In the last decade, a number of public key cryptosystems based on com- binatorial group theoretic problems in braid groups have been proposed. We survey these cryptosystems and some known attacks on them. This survey includes: Basic facts on braid groups and on the Garside normal form of its elements, some known algorithms for solving the word problem in the braid group, the major public-key cryptosystems based on the braid group, and some of the known attacks on these cryptosystems. We conclude with a discussion of future directions (which includes also a description of cryptosystems which are based on other non-commutative groups).

연구 동기 및 목표

• 브레인 군에 기반한 공개키 암호체계와 그 기초가 되는 알고리즘 문제에 대한 종합적인 조사를 제공하는 것.
• 브레인 군 암호체계에 대한 알려진 공격, 특히 길이 기반, 서밋 세트, 선형 표현 공격을 분석하는 것.
• RSA 및 디피-헬먼에 대한 초지수적 및 양자 공격를 고려할 때, 브레인 군 기반 암호체계의 보안성과 효율성을 평가하는 것.
• 테오퍼슨, 다항식 군, 밀러 군, 그리고고르추크 군과 같은 대체 비아벨 군을 양자 공격에 저항하는 양자 이후 암호의 잠재적 플랫폼으로 탐색하는 것.
• 특히 양자 공격에 저항하는 비아벨 군 기반 암호의 열린 문제와 향후 연구 방향을 규명하는 것.

제안 방법

• garside 및 birman-ko-lee 정규형을 포함한 브레인 군의 대수적 및 기하학적 구조 조사.
• 브레인 군 내에서 단어 문제를 해결하기 위한 알고리즘 제시, 예를 들어 dehornoy의 핸들 감소 및 기본군에 대한 작용.
• 키 암호체계 기술: 공역 및 분해 문제에 기반한 anshel-anshel-goldfeld 및 ko-lee 키 교환 프로토콜.
• 서밋 세트(초기 서밋, 초고속 서밋, 감소, 안정 서밋), 순환 슬라이딩 및 히우리스틱 길이 기반 접근을 사용한 공격 분석.
• 특히 burau 및 lawrence-krammer 표현을 포함한 선형 표현 기반 공격 평가.
• 이동 공역 탐색 문제, 최단 브레인 문제 및 분해 문제에 기반한 최신 암호체계 조사, 예를 들어 algebraic eraser 및 그 암호해독 분석.

실험 결과

연구 질문

• RQ1 서밋 세트 기법을 사용하여 브레인 군 내의 공역 탐색 문제를 다항식 시간 내에 해결할 수 있는가?
• RQ2 길이 기반 공격은 브레인 군 기반 키 교환 프로토콜을 얼마나 효과적으로 해체하는가?
• RQ3 burau 및 lawrence-krammer 표현과 같은 선형 표현은 브레인 군 암호체계의 취약점을 얼마나 드러내는가?
• RQ4 테오퍼슨 군 F, 다항식 군, 또는 그리고고르추크 군과 같은 대체 비아벨 군은 양자 이후 암호의 안전하고 효율적인 플랫폼이 될 수 있는가?
• RQ5 확률적 또는 히우리스틱 공격은 브레인 군 암호체계의 보안에 어떤 영향을 미치며, 이를 어떻게 완화할 수 있는가?

주요 결과

• 서밋 세트, 특히 초고속 서밋 세트 및 초고속 서밋 세트를 사용하여 브레인 군 내의 공역 탐색 문제를 해결할 수 있지만, 이러한 방법은 계산적으로 비용이 많이 든다.
• 길이 기반 공격은 메모리나 히우리스틱 최적화 기법과 조합될 경우 실질적으로 특정 브레인 군 기반 암호체계를 효과적으로 해체할 수 있다.
• burau 및 lawrence-krammer 표현과 같은 선형 표현은 표현이 충실하고 계산 가능할 경우, 브레인 군 기반 암호체계의 취약점을 악용할 수 있다.
• 브레인 군 기반 키 교환인 algebraic eraser는 길이 기반 및 기타 대수적 공격을 통해 암호해독되었으며, 실질적으로는 안전하지 않음을 보여준다.
• F₂[x] 위의 2×2 행렬의 반군 내에서의 비틀린 공역 탐색 문제는 문제의 난이도가 유지되기 때문에 안전한 인증 체계의 기초를 제공한다.
• 테오퍼슨 군 F, 다항식 군, 밀러 군과 같은 대체 플랫폼은 새로운 암호체계의 잠재력을 지니고 있지만, 일부는 하위군 거리 추정 기반 전용 공격에 취약하다.