典型文献
基于SAT的差分和线性活跃S盒搜索方法
文献摘要：
混合整数线性规划和布尔可满足性问题(Boolean Satisfiability Problem,SAT)两种约束规划技术已被广泛应用到密码自动化安全性分析中,但目前并没有基于SAT的差分和线性活跃S盒分析方法.为了使SAT成为密码算法安全性分析和评估的一种更为通用的方法,首次建立了字节级分支、异或、MDS的SAT模型,提出了一种通用的基于SAT的差分和线性活跃S盒搜索方法,能够搜索经典分组密码算法的活跃S盒个数.为了检验本方法的实际应用效果,利用本方法成功搜索出AES、Dblock系列分组密码算法的差分活跃S盒.
文献关键词：
布尔可满足性问题;自动化分析;活跃S盒;分组密码
中图分类号：
作者姓名：
苗旭东;董新锋;韩羽;穆道光;张文政
作者机构：
中国电子科技集团公司第三十研究所,四川 成都 610041;保密通信重点实验室,四川 成都 610041
文献出处：
引用格式：
[1]苗旭东;董新锋;韩羽;穆道光;张文政-.基于SAT的差分和线性活跃S盒搜索方法)[J].信息安全与通信保密,2022(05):10-17
A类：
Dblock
B类：
SAT,搜索方法,混合整数线性规划,布尔可满足性问题,Boolean,Satisfiability,Problem,约束规划,规划技术,安全性分析,算法安全,首次建立,字节,节级,异或,MDS,分组密码算法,实际应用效果,AES,自动化分析
AB值：
0.356266
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
