基于权重构造SAT模型搜索密码差分特征的方法及系统

本发明提供了一种基于权重构造SAT模型搜索密码差分特征的方法和系统，主要解决现有技术在刻画S盒概率时引入较多布尔变量和搜索密码差分特征效率低的问题。其实现方案包括：将目标密码算法的线性部件转换为线性差分传播组件；根据目标算法S盒的DDT，引入布尔变量并赋予权重，生成不可能传播子句，并将其进行化简，得到SAT模型中的S盒差分传播组件；根据期望搜索的差分特征概率建立目标函数，运用权重顺序编码将目标函数转换为合取范式形式的目标函数部分组件；由所述的各组件构成SAT模型并对其进行求解，找到目标密码差分特征。本发明能有效减少刻画S盒差分概率信息所引入的布尔变量数量，提高搜索密码算法差分特征的效率，可用于密码算法的设计和分析。