基于混合整数规划的自动化密码分析研究

项目名称： 基于混合整数规划的自动化密码分析研究

项目编号： No.61402469

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 孙思维

作者单位： 中国科学院信息工程研究所

项目金额： 24万元

中文摘要： 混合整数规划（MIP）是一种应用广泛的数学优化方法，无论是其理论研究还是工程实现，近半个世纪一直备受关注。因此，利用MIP这一强有力的数学工具进行自动化密码分析有望大大降低密码分析的成本。 本课题研究基于MIP的自动化密码分析技术。主要包括利用MIP求解二元域上多元多项式方程组的自动化代数攻击和基于MIP的自动化差分、线性分析技术。我们将在本项目中探索密码分析问题的MIP建模，及针对由密码分问题导出模型的MIP求解算法的优化。 本项目注重MIP自动化工具的实际应用，我们将开发基于MIP的自动化密码分析软件，进行大规模的实际计算，并对一些著名算法（如：DES、DESL、PRESENT、LBlock、SIMON和EPCBC等）进行分析，这不仅为推动MIP和自动化密码分析技术的研究提供了实践平台，也有利于国内超级计算资源的充分利用。

中文关键词： 对称密码；自动化密码分析；整数规划；约束规划；SHA3

英文摘要： Mixed-Integer Programming is a widely applicable mathematical optimization method. It has been attracting extensive attentions from both theoretical investigation and engineering implementation for almost half a century. Therefore, automating the proce

英文关键词： Symmetric-key cryptography；Automatic cryptanalysis；Integer programming；Constraint programming；SHA3