[논문 리뷰] On some quasigroup cryptographical primitives

Piroska Csörgő, Victor Shcherbacov|arXiv (Cornell University)|2011. 10. 30.

graph theory and CDMA systems참고 문헌 14인용 수 3

한 줄 요약

이 논문은 Vojvoda의 프레임워크 하에서 선택 평문 및 선택 암호문 공격에 대한 쿼지그룹 기반 스트림 암호의 취약성을 분석한다. 이를 바탕으로 다항군의 수직 시스템과 수정된 암호화 절차를 사용하여 이러한 공격에 대한 저항력을 향상시키는 강화된密码 원리를 제안하며, 특히 다항쿼지그룹 연산과 암호화 단계의 동적 적용 순서를 통합하여 공격에 대한 저항력을 높인다.

ABSTRACT

We propose modifications of known quasigroup based stream ciphers. Systems of orthogonal n-ary groupoids are used.

연구 동기 및 목표

• 기존의 쿼지그룹 기반 암호 원리가 선택 평문 및 선택 암호문 공격에 취약한지를 규명하고 분석한다.
• 암호화 과정의 수정을 통해 n-항 쿼지그룹 기반 스트림 암호의 보안을 향상시키는 것을 목적으로 한다.
• 수직 n-항 군oids 시스템을 이용한 안전한 스트림 암호를 구성하는 프레임워크를 개발한다.
• 유한 아벨 군 위에서 T-쿼지그룹을 사용하여 수직 쿼지그룹과 그 파라스트로피를 생성하는 방법을 탐구한다.
• 암호화 절차의 비주기적, 비정기적 적용 순서를 제안하여 암호 분석 기법에 대한 저항력을 높인다.

제안 방법

• 선택 평문 및 선택 암호문 공격에 대한 쿼지그룹 기반 원리의 보안성을 평가하기 위해 Vojvoda의 프레임워크를 채택한다.
• 이전 암호 기호에 대한 재귀적 의존성과 다수의 리더를 갖는 n-항 쿼지그룹을 사용하는 수정된 암호화 절차(알고리즘 2)를 도입한다.
• 각 평문 기호를 n개의 암호 기호로 매핑하는 데 n-항 쿼지그룹 연산을 사용하는 새로운 절차(절차 1)를 제안한다.
• 알고리즘 2와 절차 1을 무리수 또는 초월수 표현을 이용한 키 스케줄링을 통해 비주기적, 순서 기반으로 조합한다.
• 유한 아벨 군 위에서 $ x \circ y = \varphi x + \psi y + a $ 형태의 T-쿼지그룹을 활용하여 수직 쿼지그룹과 그 파라스트로피를 구성한다.
• 정리 2의 이론적 조건을 적용하여 쿼지그룹과 그 파라스트로피 간의 수직성을 보장함으로써 암호 강도를 향상시킨다.

실험 결과

연구 질문

• RQ1 논문 [26]에서 제안한 쿼지그룹 기반 암호 원리는 선택 평문 및 선택 암호문 공격에 취약한가?
• RQ2 암호화 과정의 수정을 통해 n-항 쿼지그룹 기반 스트림 암호의 보안을 향상시킬 수 있는가?
• RQ3 수직 n-항 군oids 시스템은 쿼지그룹 기반 암호의 암호 분석에 대한 저항력을 어떻게 향상시키는가?
• RQ4 유한 아벨 군 위에서 T-쿼지그룹을 어떻게 활용하여 그 파라스트로피와 수직인 쿼지그룹을 생성할 수 있는가?
• RQ5 암호화 절차의 비주기적 적용 순서는 선택 평문 및 선택 암호문 공격의 난이도를 상당히 증가시킬 수 있는가?

주요 결과

• Vojvoda의 프레임워크를 통해 [26]에서 제안한 쿼지그룹 기반 원리는 선택 평문 및 선택 암호문 공격에 모두 취약한 것으로 밝혀졌다.
• 알고리즘 2에서 다수의 리더와 재귀적 암호화를 사용하는 제안된 수정 사항은 암호 분석의 복잡성을 증가시킨다.
• 절차 1은 n-항 쿼지그룹 연산을 사용해 각 평문 기호를 n개의 암호 기호로 매핑함으로써 확산 효과를 향상시키고 통계적 공격에 대한 저항력을 높인다.
• 비주기적 적용 순서(예: 무리수의 소수 전개에서 유도된 것)의 통합은 선택 평문 및 선택 암호문 공격의 복잡성을 상당히 증가시킨다.
• 소수 $ p $ 에 대해 $ \mathbb{Z}_p $ 위에서 $ x \circ y = kx + my + a $ 형태의 T-쿼지그룹은 계수들이 특정 비퇴화 조건을 만족할 경우 모든 파라스트로피와 수직이 될 수 있다.
• 정리 2의 이론적 조건은 특정 조합의 자기동형사상이 기본 군의 순열이 되는 경우, T-쿼지그룹과 그 파라스트로피 간의 수직성이 확보됨을 보장한다.