典型文献
基于SAT的线性扩散层分支数的快速计算方法
文献摘要：
将线性扩散层差分和线性分支数的计算问题转化为布尔可满足性问题(Boolean Satisfiability Problem,SAT),提出了一种通用的快速计算分组密码线性扩散层分支数的方法,该方法可以在较短的时间内求解出分组大于32比特线性扩散层的分支数.为了检验本方法的实际应用效果,测试了一批随机构造的循环异或(Rotation-XOR,RX)结构分组为64比特线性扩散层的分支数.结果显示,所提方法均能在较短的时间内计算出分支数,并且当线性扩散层的分组为64比特、分块为8、异或项数为9时,首次得到分支数达到8的RX结构的扩散层.
文献关键词：
布尔可满足性问题;线性扩散层;分支数;循环异或
中图分类号：
作者姓名：
苗旭东;张晶;胡建勇;董新锋;张文政
作者机构：
中国电子科技集团公司第三十研究所,四川 成都 610041
文献出处：
引用格式：
[1]苗旭东;张晶;胡建勇;董新锋;张文政-.基于SAT的线性扩散层分支数的快速计算方法)[J].通信技术,2022(05):634-639
A类：
线性扩散层,循环异或
B类：
SAT,分支数,快速计算方法,问题转化,布尔可满足性问题,Boolean,Satisfiability,Problem,分组密码,解出,比特,实际应用效果,随机构造,Rotation,XOR,RX,分块,项数
AB值：
0.236576
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
