[논문 리뷰] Cryptanalysis of shifted conjugacy authentication protocol

Jonathan Longrigg, Alexander Ushakov|ArXiv.org|2007. 08. 14.

Advanced Authentication Protocols Security인용 수 4

한 줄 요약

이 논문은 브레인 군에서의 공액성 탐색 문제(CSP)로의 이동된 공액성 탐색 문제(ShCSP)의 감소를 통해 이동된 공액 기반 인증 프로토콜의 실용적 암호 해독을 제시한다. 공격은 브레인 군 중심자들의 구조적 성질을 악용하여 $B_{80}$에서 키 길이 800일 때 92%의 경우에 프로토콜을 성공적으로 해독하며, 표준 키 생성 조건 하에서 프로토콜이 비안전하다는 것을 입증한다.

ABSTRACT

In this paper we present the first practical attack on the shifted conjugacy-based authentication protocol proposed by P. Dehornoy. We discuss the weaknesses of that primitive and propose ways to improve the protocol.

연구 동기 및 목표

• 브레인 군 연산에 기반한 Dehornoy의 이동된 공액 기반 인증 프로토콜의 보안성을 분석하기 위해.
• 이동된 공액성 탐색 문제(ShCSP)의 계산적 난이도와 표준 공액성 탐색 문제(CSP)로의 감소 가능성 조사하기 위해.
• 프로토콜의 실용적 해독 가능성을 초래하는 키 생성의 약점을 규명하기 위해.
• 중심자 구조를 제어함으로써 제안된 공격에 저항하는 개선된 키 생성 전략 제안하기 위해.

제안 방법

• 이동된 공액 방정식을 이동 연산자와 브레인 군 항등식을 사용하여 표준 공액 방정식으로 변환함으로써 ShCSP를 CSP로 감소시킨다.
• 변환된 브레인 쌍에 대해 $B_{n+1}$에서 초점 정점 집합(USS) 알고리즘을 사용하여 공액성 탐색 문제를 해결한다.
• 핵심 브레인의 중심자 하위군 $C'$ 내에서 공액 방정식의 해를 찾기 위한 히우리스틱 검색을 수행한다.
• 후보 해의 길이 $|p'^{-1}(s_i * p)|_{\Delta_{n+1}}$ 를 히우리스틱으로 사용하여 검색을 안내한다.
• 실용적 제약 조건을 시뮬레이션하기 위해 시간 제한(1시간, USS용; 15분, 루프 C용)을 적용하여 공격를 구현한다.
• 특히 중심자 크기와 브레인의 유연성과 관련하여 공격가 실패하는 조건을 규명하기 위해 키 생성을 분석한다.

실험 결과

연구 질문

• RQ1 브레인 군에서 이동된 공액성 탐색 문제(ShCSP)는 표준 공액성 탐색 문제(CSP)로 감소될 수 있는가?
• RQ2 어떤 키 길이와 브레인 군 순위에서 공격이 높은 확률로 성공하는가?
• RQ3 브레인의 구조적 성질(예: 중심자 크기, 유연성)이 공격 성공률에 어떤 영향을 미치는가?
• RQ4 이 공격에 노출된 취약점을 피하기 위해 키 생성 방식을 어떻게 수정할 수 있는가?
• RQ5 브레인 길이를 기반으로 한 히우리스틱은 ShCSP의 해를 찾는 데 효과적으로 작용하는가?

주요 결과

• 키 길이 800인 $B_{80}$에서 프로토콜은 92%의 경우에 성공적으로 해독되었으며, 이 중 92%는 원래의 개인 키를 복구하였다.
• $B_{40}$에서는 키 길이 400일 때 성공률가 99%에 달하여, 공격이 키 길이에 따라 잘 스케일링됨을 보여준다.
• $B_{10}$에서는 키 길이 100일 때도 100% 성공률를 기록하여, 작은 브레인 군에서는 프로토콜이 비안전함을 입증한다.
• $B_{80}$에서 키 길이 100일 때, 단계 A(CSP 해)에서 실패율이 가장 높았으며(59%), 이는 짧은 키일수록 공액 문제 해결이 더 어려움을 시사한다.
• $B_{80}$에서 키 길이 100일 때, 루프 C(중심자 검색)에서 실패가 가장 빈번하게 발생했으며(95.12%), 이는 더 큰 중심자로 인해 $C'$가 전체 중심자에 대한 나쁜 근사가 되기 때문이다.
• 공액성 탐색 문제가 어려운 경우 또는 핵심 브레인의 중심자가 크고 비아벨리안인 경우 공격에 실패하며, 이러한 구조는 공격에 저항할 수 있음을 시사한다.