面向基于置换设计密码算法的差分特征自动化搜索方法

本发明提供一种面向基于置换设计密码算法的差分特征自动化搜索方法，包括：基于差分在各个密码部件中的传播规则，建立模型1；基于加密信息对在密码部件中运算的关系以及差分值与加密信息对之间的关系，建立模型2；利用SMT求解器对模型1进行求解，搜索高概率差分特征，根据模型1中求取的高概率差分特征的输入差分与输出差分，固定模型2中输入差分与输出差分值与模型1一致，利用SMT求解器对模型2进行求解；若模型2有解，则输出高概率差分特征，否则利用模型1搜索新的高概率差分特征。本发明提出的建模方法排除了传统差分搜索方法得到的差分特征可能与实际运算值存在冲突的情况，为基于置换设计密码算法提供了更精确的安全性分析结果。