符号计算技术在代数攻击方法中的应用的有关研究

代数攻击方法利用密码系统固有的代数结构，将加密（解密）运算用多变多项式关系表示。从而基于多变多项式方程求解算法来分析密码系统的安全性。这种全新的分析方法是目前对流密码系统最有效的攻击方法，也是目前对新的高级加密标准进行研究和密码分析的主要观点，是目前应用密码领域研究的焦点问题之一。本项目利用来自符号计算的理论和方法研究具有好的代数免疫性的布尔函数（包括向量布尔函数）所具有的特征性质，并且研究抵制代数攻击的布尔函数和向量布尔函数的构造方法，以及判定一个布尔函数的低次倍存在性的有效准则。这项研究的结果为未来密码系统的设计和分析提供理论基础，为应变和评估代数攻击对密码领域所产生的影响，增强我国在这个研究领域的研究能力具有重要的意义。