基于SAT的线性扩散层分支数的快速计算方法

摘要：

将线性扩散层差分和线性分支数的计算问题转化为布尔可满足性问题(Boolean Satisfiability Problem,SAT),提出了一种通用的快速计算分组密码线性扩散层分支数的方法,该方法可以在较短的时间内求解出分组大于32比特线性扩散层的分支数.为了检验本方法的实际应用效果,测试了一批随机构造的循环异或(Rotation-XOR,RX)结构分组为64比特线性扩散层的分支数.结果显示,所提方法均能在较短的时间内计算出分支数,并且当线性扩散层的分组为64比特、分块为8、异或项数为9时,首次得到分支数达到8的RX结构的扩散层.

关键词：布尔可满足性问题、线性扩散层、分支数、循环异或

所属期刊栏目：55

分类号：TP309.7(计算技术、计算机技术)

资助基金：四川省科技计划2020JDJQ0076

在线出版日期：2022-06-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：634-639