[論文レビュー] Mathematical methods in solutions of the problems from the Third International Students' Olympiad in Cryptography

Natalia Tokareva, A. A. Gorodilova+6 more|arXiv (Cornell University)|Oct 16, 2017

Global Education Systems and Policies参考文献 1被引用数 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の複雑な数学的問題を提示・解明し、純粋数学と応用暗号理論を橋渡しすること。
• 特にブール関数および数論分野における未解決の研究的問題に取り組むこと。
• 学生参加がオープン問題の解決に果たす役割を示し、オリンピックの歴史において初の事例を記録すること。
• 秘密分散方式、バイオメトリクスシステム、擬似ランダム系列関連の問題に対する詳細な解法と考察を提供すること。
• 高度な数学的技法を暗号的問題解決フレームワークに統合することで、学際的研究を促進すること。

提案手法

• オリンピックは2ラウンド制を採用しており、4.5時間の個人戦（セクションAおよびB）と、1週間のチームベースの研究・プログラミング戦から構成された。
• 問題は、ベクトル的ブール関数の代数的免疫、巨大フェルマー数の性質、暗号プロトコルなど、多様な分野から選ばれた。
• 解法には、有限体論、組合せデザイン、数論的解析といった高度な数学的道具が用いられた。
• 第二ラウンドには、代数的免疫に関する未解決問題と、巨大フェルマー数に関する未解決問題の2つが含まれており、両方とも後に参加者によって解決された。
• 理論的解析と計算的検証を併用して解法の妥当性を検証した。特に、擬似ランダム系列や秘密分散方式に関連する問題に対して有効であった。
• オリンピックの歴史において、参加者によって提起されたオープン問題の初の解決がなされたことに注目し、特別賞が授与された。これは共同研究の重要性を強調するものである。

実験結果

リサーチクエスチョン

• RQ1 ベクトル的ブール関数における代数的免疫を最大化するにはどうすればよく、その構成に必要な構造的制約は何か？
• RQ2 巨大フェルマー数の数論的性質は何か。それらは暗号的プリミティブの構築にどのように活用できるか？
• RQ3 情報理論的セキュリティを確保しつつ、最小限のアクセス構造を実現する秘密分散方式はどのように設計できるか？
• RQ4 安全なバイオメトリクス暗号方式およびブロックチェーンベースのプロトコルの背後にある数学的モデルは何か？
• RQ5 数学的暗号分野におけるオープン問題は、競技形式の学生主導研究によって効果的に解決可能か？

主な発見

• 参加者がオリンピック中に代数的免疫に関するオープン問題を解決し、この大会の歴史において初の出来事となった。
• 代数的免疫問題の解決には、代数的攻撃に対して最適な耐性を有するベクトル的ブール関数の構築が含まれており、厳密な理論的解析によって検証された。
• 線形代数および再帰関係の技法を用いて、擬似ランダム二値系列に関する複数の問題が解決され、最大周期およびバランス性の性質が保証された。
• 巨大フェルマー数の問題は、モジュラー算術および指数関数の性質を用いて分析され、特定の解の非存在を構成的証明に導いた。
• 組合せデザインおよび有限幾何学を用いた秘密分散方式の実装が成功し、最小限の冗長性で閾値アクセス構造を達成した。
• オリンピックは、構造的で研究志向の強い競技形式が整っている場合、学生研究者が数学的暗号分野における未解決問題に有意義な貢献をできる可能性を示した。