[논문 리뷰] Quasigroups in cryptology

Victor Shcherbacov|arXiv (Cornell University)|2010. 07. 21.

graph theory and CDMA systems인용 수 7

한 줄 요약

이 논문은 쿠아지그룹의 암호학적 응용을 검토하며, 스트림 암호, 비밀 분배 시스템, 제로 지식 프로토콜, 해밍 거리 분석을 통한 보안 향상에 초점을 맞춘다. 비결합성 있는 쿠아지그룹이 기존의 결합 구조보다 더 높은 복잡성과 더 넓은 키 공간을 제공함으로써 더 안전하고 유연한 암호 체계를 가능하게 한다는 것을 보여준다.

ABSTRACT

We give a review of some known published applications of quasigroups in cryptology.

연구 동기 및 목표

• 1980년대 이후의 발전을 포함하여 현대 암호학에서 쿠아지그룹의 알려진 응용을 조사하고 체계화하는 것.
• 비결합성 있는 쿠아지그룹을 활용하여 암호학에서 더 안전하고 복잡한 대수적 구조의 필요성을 해결하는 것.
• 쿠아지그룹을 사용한 엔도모르픽 암호 체계, 비밀 분배 체계, 제로 지식 프로토콜의 실현 가능성과 이점 탐색.
• 쿠아지그룹 연산 간의 해밍 거리를 측정하여 암호학적 강도와 다양성을 평가하는 방법 분석.
• 등변성, 직접 곱, 컴퓨터 대수 체계를 활용한 대규모, 컴act, 암호학적으로 적합한 쿠아지그룹을 생성하는 실용적 방법 제공.

제안 방법

• 순서 n에 대해 n!·(n−1)!·…·1!을 초과하는 연산 수를 가진 쿠아지그룹을 일반화된 순열로 활용하여 키 공간 크기를 증대.
• 등변성과 gisotopy를 적용하여 군과 동형이 아닌 비결합 대수적 구조를 생성.
• 제로 지식 신원 확인 프로토콜의 기초로 라틴 제곱 및 그 등변 변환을 활용.
• 쿠아지그룹 연산 간의 해밍 거리를 측정하여 구조적 다양성과 암호 분석에 대한 저항력을 평가.
• 직접 곱과 등변성을 활용하여 대규모, 컴팩트한 쿠아지그룹을 생성하기 위해 컴퓨터 대수 체계(예: Maple 7)를 제안.
• 스트림 암호 설계와 오류 내성 향상을 위해 GF[q] 위의 NLPN 수열과 (r,s,t)-쿠아지그룹을 도입.

실험 결과

연구 질문

• RQ1 쿠아지그룹을 어떻게 효과적으로 활용하여 고도의 확산과 혼동을 갖춘 안전한 스트림 암호를 설계할 수 있는가?
• RQ2 쿠아지그룹 연산 간의 해밍 거리가 암호학적 강도와 대수적 공격에 대한 저항력을 평가하는 데 어떤 역할을 하는가?
• RQ3 비밀 키를 드러내지 않고 쿠아지그룹 기반 제로 지식 프로토콜을 구성할 수 있는가? 그리고 이는 어떻게 등변성을 통해 달성되는가?
• RQ4 암호학에서 비결합성 있는 쿠아지그룹이 결합 대수적 시스템보다 갖는 구조적 및 계산적 이점은 무엇인가?
• RQ5 대수적 구성 방법을 사용하여 대규모, 컴팩트하고 암호학적으로 강력한 쿠아지그룹을 효율적으로 생성하고 저장할 수 있는가?

주요 결과

• 순서 n인 쿠아지그룹의 수는 n!·(n−1)!·…·1!을 초과하여, 기존의 결합 구조보다 훨씬 더 큰 키 공간을 제공한다.
• 순서가 50 초과인 군의 경우, n이 홀수이면 최소 해밍 거리 δ(G,∘)는 6n−18이며, 이중 홀수 순서의 이면군의 경우 6n−20, 그 외의 경우 6n−24이다.
• 소수 순서 p > 7인 경우, δ(G,∘) = 6p−18로, 군 기반 쿠아지그룹에 대한 예측 가능한 하한값을 나타낸다.
• 군과 등변성이 없는 쿠아지그룹은 풍부하게 존재하며, gisotopy는 등변성보다 이러한 구조를 생성하는 데 더 효과적인 방법이다.
• Maple 7와 같은 컴퓨터 대수 체계를 통해 등변성과 직접 곱을 활용하여 임의의 순서를 가진 실질적으로 무한한 수의 쿠아지그룹을 생성할 수 있다.
• 등변 라틴 제곱을 활용한 쿠아지그룹 기반 제로 지식 프로토콜은 반복적인 챌린지-응답 라운드를 통해 비밀 키를 드러내지 않고 신원을 증명할 수 있다.