[논문 리뷰] Group Signature Schemes Using Braid Groups

Tony Thomas, A. K. Lal|ArXiv.org|2006. 02. 17.

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

한 줄 요약

이 논문은 뿌리 문제, 공액 문제, 분해 문제의 난이도를 활용하여 브레이드 군 기반으로 설계된 최초의 그룹 서명 체계를 제안한다. 세 가지 체계를 제안한다: 하나는 보안을 위해 뿌리 문제에만 의존하는 체계, 다른 하나는 무조건적 서명과 그룹 서명을 결합한 체계, 세 번째는 공액 관련 가정을 사용하는 체계로, 모두 브레이드 군 환경에서 익명성, 위조 불가능성, 면책성, 추적 가능성을 달성한다.

ABSTRACT

Artin's braid groups have been recently suggested as a new source for public-key cryptography. In this paper we propose the first group signature schemes based on the conjugacy problem, decomposition problem and root problem in the braid groups which are believed to be hard problems.

연구 동기 및 목표

• 공개키 암호 기반으로 브레이드 군을 사용하는 최초의 그룹 서명 체계를 설계하기 위해.
• 브레이드 군 문제—뿌리 문제, 공액 문제, 분해 문제—의 난이도를 활용하여 안전한 그룹 서명을 구성하기 위해.
• 핵심 그룹 서명 특성인 익명성, 위조 불가능성, 면책성, 추적 가능성을 확보하기 위해.
• 특히 3인자 분해에서의 인자 등가 문제를 기반으로 한 공식적인 보안 가정을 수립하기 위해.
• 브레이드 기반 암호 기술을 다른 비아벨 군과 그룹 서명 변형(예: 링 서명)으로 확장할 수 있는지 탐색하기 위해.

제안 방법

• 브레이드 군 $B_n$ 와 아르틴 생성자 $\sigma_i$ 를 사용하며, 양의 비반복 브레이드의 대수적 구조에 기반한다.
• 그룹 서명은 쌍 $S_m = (S_1, S_2)$ 로 구성되며, $S_1 = s^{-1} \beta_1^{-1} y \beta_2 s$ 와 $S_2 = s^{-1} \beta_1^{-1} y \beta_2 s$ 로 정의되며, $y$ 는 서명자의 비밀 키에서 유도된다.
• 보안은 3인자 브레이드 분해에서 인자 등가성을 결정하는 것이 불가능함에 기반하며, 이는 가정 3.1에 의해 형식화된다.
• 익명성은 공액 연산과 비밀 키 가림을 통해 서명자의 신원을 숨기며 보장된다.
• 추적 가능성은 신뢰할 수 있는 그룹 관리자가 서명과 공개 매개변수를 사용하여 서명자 신원을 드러내는 공액을 계산함으로써 달성된다.
• 분쟁 해결을 위해 확인 및 부인 프로토콜을 사용하며, 필요에 따라 그룹 관리자가 서명을 해제할 수 있다.

실험 결과

연구 질문

• RQ1 브레이드 군을 기반 대수적 구조로 사용하여 그룹 서명 체계를 구성할 수 있는가?
• RQ2 브레이드 군에서의 뿌리 문제가 그룹 서명 체계의 유일한 보안 기초로 충분히 어렵다고 간주될 수 있는가?
• RQ3 브레이드 군에서의 공액 문제와 분해 문제를 사용하여 위조 불가능성과 익명성을 달성할 수 있는가?
• RQ4 브레이드 군 가정 하에서 체계의 분리 불가능성과 면책성이 어떻게 공식적으로 입증될 수 있는가?
• RQ5 브레이드 군 문제를 사용하는 것이 그룹 서명 이외의 암호 프로토콜 설계에 어떤 영향을 미치는가?

주요 결과

• 브레이드 군에서 뿌리 문제에만 기반하여 보안이 보장되는 최초의 그룹 서명 체계를 제안하며, 이 체계는 뿌리 문제의 난이도가 높다고 간주되어 가장 안전한 것으로 간주된다.
• 가정 3.1에 따르면, 두 서명이 동일한 인자 구조를 공유하는지 판단하는 것이 계산적으로 불가능하므로, 체계는 분리 불가능성을 달성한다.
• 공액 검색 문제를 해결하지 않으면서도 누구도 서명자를 식별할 수 없기 때문에 익명성이 유지된다.
• 면책성은 그룹 관리자가 멤버 등록 시 보안 키 유도 프로토콜을 통해 서명자의 비밀 키나 서명 키를 어떤 방식으로도 알 수 없기 때문에 유지된다.
• 추적 가능성은 공식적으로 증명되었다: 그룹 관리자는 서명과 공개 매개변수를 포함한 공액을 계산하여 어떤 유효한 서명도 실제 서명자로 드러낼 수 있다.
• 체계의 보안은 아직 증명되지 않은 가정에 의존하며, 특히 3인자 브레이드 분해에서의 인자 등가성의 어려움이 필요로 하며, 이는 향후 수치적 및 이론적 조사가 요구된다.