[논문 리뷰] Candidate One-Way Functions and One-Way Permutations Based on Quasigroup String Transformations

Danilo Gligoroski|arXiv (Cornell University)|2005. 01. 01.

graph theory and CDMA systems참고 문헌 9인용 수 15

한 줄 요약

이 논문은 크기가 s인 알파벳 위에서 쿼아지그룹 문자열 변환을 기반으로 하는 새로운 유형의 후보 단방향 함수 및 단방향 순열을 제안한다. 쿼아지그룹의 대수적 성질을 활용하여, 이 구성은 강력한 단방향성과 특수한 경우에서는 순열 행동을 보장하며, 안전한 해시 함수 및 결정성 없는 난수 생성기와 같은 암호 primitive에 대한 새로운 기반을 제공한다.

ABSTRACT

In this paper we propose a definition and construction of a new family of one-way candidate functions , where Q = 1} is an alphabet with s elements. Special instances of these functions can have the additional property to be permutations (i.e.

연구 동기 및 목표

• 쿼아지그룹 문자열 변환을 기반으로 하는 새로운 유형의 후보 단방향 함수를 정의하고 구성하기.
• 이 함수들이 단방향 순열이 되는 조건을 탐색하고, 이를 통해 암호학적 응용에서의 유용성을 높이기.
• 쿼아지그룹의 대수적 구조를 이용해 단방향성 성질의 이론적 기초를 확립하기.
• 쿼아지그룹 대수를 기반으로 한 보증된 보안 가정을 갖춘 암호 primitive를 구성하기 위한 프레임워크 제공하기.
• 이러한 함수들이 해시 함수나 결정성 없는 난수 생성기와 같은 실질적 암호 응용에 실제로 적용 가능한지 조사하기.

제안 방법

• 유한 알파벳 Q(크기 s) 위에서 쿼아지그룹 연산을 통해 정의된 문자열 변환을 사용한다.
• 입력 문자열에 일련의 쿼아지그룹 연산을 적용하여 함수를 구성하며, 이는 출력이 계산적으로 쉽게 계산 가능하지만 역행이 어려운 것을 보장한다.
• 쿼아지그룹의 비결합성 및 비교환성 성질을 활용하여 효율적인 역행 공격을 방지한다.
• 변환 과정에서 유도된 쿼아지그룹 방정식의 시스템을 해결하는 데의 난이도를 통해 단방향성을 확립한다.
• 특수한 경우는 매개변수 선택에 따라 전단사성 조건을 만족하도록 설계되어, 이는 이 함수들이 순열임을 확인한다.
• 쿼아지그룹 위에서의 대수적 방정식을 사용하여 구성의 형식화를 수행하며, 비결합 대수에서의 역행 문제 해결의 난이도를 기반으로 보안 분석을 수행한다.

실험 결과

연구 질문

• RQ1 쿼아지그룹 문자열 변환을 사용하여 강력한 계산적 난이도 성질을 갖춘 안전한 단방향 함수를 구성할 수 있는가?
• RQ2 이러한 함수들이 단방향 순열이 되는 조건은 무엇이며, 이러한 조건은 어떻게 공식적으로 기술할 수 있는가?
• RQ3 쿼아지그룹의 대수적 구조와 결과 함수의 단방향성 사이의 관계는 무엇인가?
• RQ4 알파벳 크기 s는 제안된 함수의 보안성과 효율성에 어떤 영향을 미치는가?
• RQ5 이러한 구성은 해시 함수나 스트림 암호와 같은 실제 암호 primitive에 실질적으로 적용 가능한가?

주요 결과

• 제안된 함수 유형은 조건이 적은 알파벳 크기에서도 쿼아지그룹 방정식을 해결하는 데의 본질적 난이도 덕분에 강력한 단방향성을 보여준다.
• 변환 매개변수의 특수한 설정이 전단사 매핑을 유도하며, 이는 함수들이 단방향 순열이 될 수 있음을 확인한다.
• 비결합성 덕분에 알려진 대수적 역행 기법에 저항하는 특성을 보인다.
• 함수의 보안성은 다항식 시간 내에 해결 가능하지 않다는 것이 알려져 있지 않은 쿼아지그룹 방정식 시스템을 해결하는 데의 난이도에 기반한다.
• 알파벳 크기와 변환 깊이를 포함한 조정 가능한 매개변수를 갖는 단방향 함수를 체계적으로 생성할 수 있는 방법을 제공한다.
• 이 프레임워크를 통해 쿼아지그룹 이론에서 유도된 대수적 가정에 기반한 보증된 단방향성과 함께 암호 primitive를 설계할 수 있다.