科研之友
微信
新浪微博
Facebook
分享链接
摘要
混合整数线性规划和布尔可满足性问题（Boolean Satisfiability Problem,SAT）两种约束规划技术已被广泛应用到密码自动化安全性分析中，但目前并没有基于SAT的差分和线性活跃S盒分析方法。为了使SAT成为密码算法安全性分析和评估的一种更为通用的方法，首次建立了字节级分支、异或、MDS的SAT模型，提出了一种通用的基于SAT的差分和线性活跃S盒搜索方法，能够搜索经典分组密码算法的活跃S盒个数。为了检验本方法的实际应用效果，利用本方法成功搜索出AES、Dblock系列分组密码算法的差分活跃S盒。
-
单位中国电子科技集团公司第三十研究所
