搜索
软件研究所中长期发展规划2009年创新基金领域前沿项目专项计划入选者姓名：王明生工作部门：信息安全国家重点实验室资助类别：竞争择优支持资助编号：ISCAS2009-QY04资助金额：36万元支持周期：2009年9月-2012年9月研究方向符号计算技术和密码系统代数攻击研究研究内容(ⅰ)研究多个输出的流密码的代数免疫度新刻画和从不同角度提出的代数免疫度之间的关系问题。对多输出函数,一般实际上很难计算它的代数免疫度，因此研究它们具有的性质，以及从各种不同的角度来理解就变得相当重要。(ⅱ)研究针对几个特殊流密码的代数攻击方法。针对特殊的有重要意义的流密码系统如Trivium等研究快速有效的多项式方程求解算法。研究向量布尔函数中一些著名的公开问题。(ⅲ)研究带反馈（或带记忆）的流密码的代数攻击问题。发展这类系统抵制代数攻击的准则。(ⅳ)研究构造密码系统概率多变关系的可能性和条件。预期成果（ⅰ）对流密码系统，解决多输出情况下,几个代数免疫度定义的相互关系,及新的刻画问题和快速的代数攻击方法；（ⅱ）利用计算代数几何中Groebner基和Wu特征列中关键思想改进和加速Shamir的Cube攻击算法；（ⅲ）解决带记忆反馈情形下（目前使用的大多数流密码系统都是这种情形），流密码抵制代数攻击的设计准则；(ⅳ)关于一些向量布尔函数的猜想的严格证明;（ⅴ）发表10篇左右体现研究成果的高质量的研究论文;（ⅵ）培养2-3名博士生，和多名硕士生。