[论文解读] 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道复杂数学问题，弥合纯数学与应用密码学之间的鸿沟。
• 解决数学密码学领域中的未解研究问题，特别是在布尔函数与数论方面。
• 展示学生参与在解决开放性问题中的作用，标志着该竞赛历史上首次出现此类情况。
• 提供关于秘密共享、生物识别系统及伪随机序列相关问题的详细解法与深入见解。
• 通过将先进数学技术整合到密码学问题求解框架中，促进跨学科研究。

提出的方法

• 竞赛分为两轮：一场4.5小时的个人赛（分为A节与B节）和一场为期一周的团队研究与编程赛。
• 题目涵盖多个领域，包括向量布尔函数的代数免疫性、大费马数的性质以及密码协议等。
• 解法运用了有限域理论、组合设计与数论分析等高级数学工具。
• 第二轮包含两个未解问题：一个关于代数免疫性，另一个关于大费马数，二者均由参赛者后续解决。
• 通过理论分析与计算验证相结合的方式验证解法，尤其针对涉及伪随机序列与秘密共享方案的问题。
• 特别设立奖项，表彰历史上首次由参赛者提出并解决开放性问题的成就，凸显协作研究的重要性。

实验结果

研究问题

• RQ1 如何在向量布尔函数中最大化代数免疫性？其构造需满足哪些结构性约束？
• RQ2 大费马数具有哪些数论性质？这些性质如何应用于密码原_primitive中？
• RQ3 如何设计秘密共享方案，以在最小访问结构下实现信息论安全性？
• RQ4 构建安全生物识别密码系统与基于区块链的协议的数学模型是什么？
• RQ5 学生主导的研究是否能在竞赛环境中有效解决数学密码学中的开放性问题？

主要发现

• 一名参赛者在竞赛期间成功解决了关于代数免疫性的开放问题，这是该赛事历史上首次由参赛者完成此类突破。
• 该代数免疫问题的解法涉及构造一种对代数攻击具有最优抗性的向量布尔函数，其正确性通过严格的理论分析得到验证。
• 利用线性代数与递推关系技术，成功求解了多个关于伪随机二元序列的问题，确保了最大周期与平衡性。
• 通过模运算与指数性质分析大费马数问题，得出了某些解不存在的构造性证明。
• 利用组合设计与有限几何方法，成功实现了秘密共享方案，实现了最小冗余的阈值访问结构。
• 该竞赛表明，当具备结构化、研究导向的竞赛形式支持时，学生研究人员能够为数学密码学中的开放性问题贡献有意义的解决方案。