[논문 리뷰] Mathematical methods in solutions of the problems from the Third International Students' Olympiad in Cryptography

Natalia Tokareva, A. A. Gorodilova외 6명|arXiv (Cornell University)|2017. 10. 16.

Global Education Systems and Policies참고 문헌 1인용 수 3

한 줄 요약

이 논문은 암호학 제3회 국제학생 올림피아드(NSUCRYPTO’2016)에서 제기된 16개의 수학 문제에 대한 해법을 제시하며, 대칭적 불리안 함수의 대수적 면역성, 큰 페르마 수, 비밀 분배 체계, 의사난수 이진 수열, 생체 인식 암호 체계, 블록체인 기술 등 고급 주제를 다룬다. 주요 기여는 올림피아드 역사상 처음으로 참가자가 제안한 개방 문제에 대한 해결책을 제시한 것이다.

ABSTRACT

The mathematical problems and their solutions of the Third International Students' Olympiad in Cryptography NSUCRYPTO'2016 are presented. We consider mathematical problems related to the construction of algebraic immune vectorial Boolean functions and big Fermat numbers, problems about secrete sharing schemes and pseudorandom binary sequences, biometric cryptosystems and the blockchain technology, etc. Two open problems in mathematical cryptography are also discussed and a solution for one of them proposed by a participant during the Olympiad is described. It was the first time in the Olympiad history.

연구 동기 및 목표

• NSUCRYPTO’2016 올림피아드에서 제기된 16개의 복잡한 수학 문제를 제시하고 해결함으로써 순수 수학과 응용 암호학을 연결한다.
• 특히 불리안 함수와 수론 분야에서 해결되지 않은 연구 문제를 다룬다.
• 학생 참여가 개방 문제 해결에 기여할 수 있음을 입증하며, 이는 올림피아드 역사상 최초의 사례이다.
• 비밀 분배, 생체 인식 시스템, 의사난수 수열과 관련된 문제에 대한 세부적인 해법과 통찰을 제공한다.
• 고급 수학 기법을 암호 문제 해결 프레임워크에 통합함으로써 다학제적 연구를 촉진한다.

제안 방법

• 올림피아드는 두 라운드로 구성되었으며, 4.5시간 분량의 개인 라운드(섹션 A 및 B)와 일주일간의 팀 기반 연구 및 프로그래밍 라운드로 나뉘어졌다.
• 문제들은 벡터형 불리안 함수의 대수적 면역성, 큰 페르마 수의 성질, 암호 프로토콜 등 다양한 분야에서 유래되었다.
• 유한체 이론, 조합 설계, 수론적 분석과 같은 고급 수학 도구를 사용하여 해법을 도출하였다.
• 두 번째 라운드에는 해결되지 않은 문제가 두 가지 포함되어 있었으며, 하나는 대수적 면역성에 관한 것이고 다른 하나는 큰 페르마 수에 관한 것이었으며, 이는 모두 참가자들에 의해 나중에 해결되었다.
• 특히 의사난수 수열과 비밀 분배 체계 문제의 경우 이론적 분석과 계산적 검증을 병행하여 해법을 검증하였다.
• 올림피아드 역사상 처음으로 참가자가 제안한 개방 문제에 대한 해결책에 특별상을 수여하여 공동 연구의 중요성을 부각시켰다.

실험 결과

연구 질문

• RQ1 벡터형 불리안 함수에서 대수적 면역성을 어떻게 극대화할 수 있으며, 이러한 구성에 대한 구조적 제약 조건은 무엇인가?
• RQ2 큰 페르마 수의 수론적 성질은 무엇이며, 이를 암호 기초 구조에 어떻게 활용할 수 있는가?
• RQ3 정보 이론적 보안을 확보하면서도 최소한의 액세스 구조를 갖춘 비밀 분배 체계는 어떻게 설계할 수 있는가?
• RQ4 안전한 생체 인식 암호 체계와 블록체인 기반 프로토콜을 구성하는 데 기초가 되는 수학적 모델은 무엇인가?
• RQ5 수학적 암호학 분야의 개방 문제들이 경쟁적인 환경에서 학생 주도 연구를 통해 효과적으로 해결될 수 있는가?

주요 결과

• 참가자가 올림피아드 기간 동안 대수적 면역성 문제를 성공적으로 해결하여, 이는 올림피아드 역사상 처음으로 참가자가 개방 문제를 해결한 사례이다.
• 대수적 면역성 문제의 해결은 최적의 대수적 공격에 대한 저항성을 갖춘 벡터형 불리안 함수를 구성함으로써 이루어졌으며, 엄밀한 이론적 분석을 통해 검증되었다.
• 의사난수 이진 수열과 관련된 여러 문제들은 선형 대수학과 재귀 관계 기법을 사용하여 해결되었으며, 최대 주기성과 균형성 특성을 확보하였다.
• 큰 페르마 수 문제는 모듈로 산술과 지수의 성질을 활용하여 분석되었으며, 특정 해의 존재 불가를 구축하는 증명으로 이어졌다.
• 조합 설계와 유한 기하학을 활용하여 비밀 분배 체계를 성공적으로 구현하였으며, 최소한의 부가 정보로도 임계값 액세스 구조를 달성하였다.
• 올림피아드는 학생 연구자들이 체계적이고 연구 중심의 경쟁 형식이 지원될 경우, 수학적 암호학 분야의 개방 문제에 의미 있는 해법을 기여할 수 있음을 입증하였다.