[논문 리뷰] Random subgroups and analysis of the length-based and quotient attacks

Alexei Myasnikov, Alexander Ushakov|ArXiv.org|2007. 07. 10.

Geometric and Algebraic Topology참고 문헌 21인용 수 8

한 줄 요약

이 논문은 유한 생성된 군에서 무작위 부분군의 渐近 분석을 제안하며, 이러한 부분군이 일반적으로 자유이고, 준등장적( quasi-isometrically )으로 통합되어 있음을 보여주어, AAG과 같은 군 기반 암호체계에서 길이 기반 공격과 몫 공격의 성공을 설명한다. 동시에 동시 쌍대화 문제(SCSP*)의 일반 복잡도를 정식화하고, 몫 군이 자유 기저 성질을 가지며 멤버십 문제를 효율적으로 해결할 수 있는 경우, 지수적으로 일반적인 입력 집합에서 성공하는 몰입 공격을 제안한다.

ABSTRACT

In this paper we discuss generic properties of "random subgroups" of a given group G. It turns out that in many groups G (even in most exotic of them) the random subgroups have a simple algebraic structure and they "sit" inside G in a very particular way. This gives a strong mathematical foundation for cryptanalysis of several group-based cryptosystems and indicates on how to chose "strong keys". To illustrate our technique we analyze the Anshel-Anshel-Goldfeld (AAG) cryptosystem and give a mathematical explanation of recent success of some heuristic length-based attacks on it. Furthermore, we design and analyze a new type of attacks, which we term the quotient attacks. Mathematical methods we develop here also indicate how one can try to choose "parameters" in AAG to foil the attacks.

연구 동기 및 목표

• 무작위 부분군의 渐近 성질을 분석하여 군 기반 암호체계의 암호 분석에 수학적 기초를 마련한다.
• 자유 군이 아닌 군, 예를 들어 브레이드 군과 같은 비자유 군에서도 길이 기반 공격(LBA)이 예상치 않게 잘 성공하는 이유를 설명한다.
• 호모모르피즘 환원을 통해 자유 기저 성질을 지닌 몰입 군에서 유리한 알고리즘 성질을 가지는 몰입 군으로의 환원을 기반으로 하는 새로운 유형의 공격—몰입 공격—을 도입하고 정식화한다.
• 무작위 부분군의 점점 증가하는 구조를 분석하여 AAG 및 유사 체계에서 '강력한 키'를 선택할 수 있는 프레임워크를 제공한다. 이는 일반적이고 공격에 취약한 집합에 속한 부분군과 원소를 피하는 데 목적이 있다.

제안 방법

• 무작위 부분군에서 '점점 지배적인( asymptotically dominant )' 성질, 특히 자유 기저 성질이 많은 군에서 일반적으로 성립함을 제안한다.
• 무작위 생성 열을 통해 무작위 부분군을 정의하고, 이들의 기하 길이 및 배경 군에 대한 왜곡도를 분석한다.
• 계산 가능한 전단사 사상 $\phi$를 통해 원래 군의 멤버십 문제와 쌍대화 탐색 문제를 몰입 군 $G/N$의 문제로 환원함으로써 몰입 공격을 제안한다.
• 만약 $G/N$ 이 자유 기저 성질을 가지며 $G/N$ 에서 멤버십 문제가 해결 가능하다면, MSP에 대한 히우리스틱 알고리즘이 지수적으로 일반적인 부분군 집합에서 성공함을 이용한다.
• 이 이론을 브레이드 군과 부분적으로 교환 가능한 군에 적용하여, 이들의 이차 시간 복잡도를 가지는 단어 문제와 몰입 군에서의 자유 기저 성질이 효율적인 공격을 가능하게 함을 보여준다.
• 공격의 성공은 우연이 아니라, 무작위 부분군의 일반적인 자유성과 낮은 왜곡도에 뿌리를 두고 있음을 입증한다.

실험 결과

연구 질문

• RQ1 자유 군이 아닌 군, 예를 들어 브레이드 군과 같은 군에서도 이론적 장애가 존재하는 데도 길이 기반 공격이 잘 작동하는 이유는 무엇인가?
• RQ2 무작위 부분군의 어떤 대수적 성질이 AAG 암호체계에서 길이 기반 공격의 경험적 성공을 설명하는가?
• RQ3 몰입 공격이 군 기반 암호에서 효과적인 암호 분석 도구로 공식화될 수 있는가?
• RQ4 어떤 조건에서 부분군에서의 멤버십 탐색 문제가 해결 가능한 문제로 몰입 군에서 환원되는가?
• RQ5 무작위 부분군의 점점 증가하는 구조를 분석함으로써 AAG에서 '약한 키'를 어떻게 수학적으로 식별하고 피할 수 있는가?

주요 결과

• 브레이드 군과 부분적으로 교환 가능한 군을 포함한 많은 군에서 무작위로 생성된 부분군은 일반적으로 자유이며, 왜곡이 선형 함수로 유계되어 있다.
• 길이 기반 공격의 성공은 무작위 부분군이 자유이며, 부분군 내 기하 길이가 배경 군 내 기하 길이를 잘 근사한다는 사실을 암묵적으로 악용하기 때문이다.
• 몰입 공격은 공식적으로 정당화된다: 몰입 군 $G/N$ 이 자유 기저 성질을 가지며 $G/N$ 에서 멤버십 문제가 해결 가능하다면, MSP에 대한 히우리스틱 알고리즘이 지수적으로 일반적인 입력 집합에서 성공한다.
• 순수 브레이드 군 $PB_n$ 과 비아벨 부분적으로 교환 가능한 군의 경우, 부분군에 대한 동시 쌍대화 탐색 문제(SCSP*)는 지수적으로 일반적인 입력 집합에서 이차 시간 내에 해결 가능하다.
• 제안된 몰입 공격 알고리즘은 순수 브레이드 군과 부분적으로 교환 가능한 군에서 $O(n^2)$ 복잡도로 실행되며, 이는 단어 문제의 시간 복잡도와 일치한다.
• 결과적으로 이 연구는 무작위 부분군의 점점 증가하는 구조를 분석함으로써 AAG에서 강력한 키를 선택할 수 있는 엄밀한 기반을 제공한다. 이는 일반적이고 공격에 취약한 집합에 속한 부분군과 원소를 피하는 데 목적이 있다.