典型文献
基于SAT方法进一步加速差分特征的搜索
文献摘要：
回顾了孙等使用Matsui边界条件加速差分特征搜索的方法,为了进一步提高搜索效率,改进了Matsui边界条件以及利用Matsui边界条件加速差分特征自动化搜索的方法,并提出了一种改进的方法来搜索分组密码的最优差分特征.研究了线程数和询问条件的加速效果并提出了选择线程数以及询问条件的策略.使用STP和CryptoMiniSat分别搜索概率为2-24、2-25、2-26的8轮SPECK96差分特征以及概率为2-39的11轮HIGHT差分特征,并比较了在不同线程数和询问条件下求解SAT/SMT问题的耗时.研究发现线程数对搜索差分特征的耗时影响较大,而询问条件对搜索差分特征的耗时影响较小,从而提出了一种如何选择线程数和询问条件的策略.根据所提策略,使用改进的边界条件和方法搜索HIGHT的11轮最优差分特征,并首次获得了HIGHT的11轮最优差分特征的紧致概率,即2-45.现有的11轮HIGHT最优差分特征概率的最紧致边界是P1145Opt≥2-.这就意味着,利用现有11轮HIGHT最优差分特征概率的最紧致边界无法给出11轮HIGHT抗差分分析安全性的精确评估.因此,所提策略的结果是目前已知的最优结果.
文献关键词：
差分分析;差分特征;自动化搜索;SAT求解器
中图分类号：
作者姓名：
许峥
作者机构：
中国科学院信息工程研究所信息安全国家重点实验室,北京 100093;中国科学院大学网络空间安全学院,北京 100049
文献出处：
引用格式：
[1]许峥-.基于SAT方法进一步加速差分特征的搜索)[J].网络与信息安全学报,2022(05):129-139
A类：
Matsui,CryptoMiniSat,SPECK96,HIGHT,P1145Opt
B类：
SAT,差分特征,特征搜索,搜索效率,征自,自动化搜索,分组密码,线程,询问,速效,STP,搜索概率,同线,SMT,紧致,最紧,抗差,差分分析,求解器
AB值：
0.199809
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
