基于分治策略的SAT差分自动化搜索算法及其应用

TP391; 为了提高自动化搜索效率,结合分治策略提出了一种基于SAT模型的最优差分特征搜索算法.利用任意部分连续轮的Matsui边界条件提供的信息,将搜索空间划分为互不相交的子集.通过分析SAT差分模型间的可满足性关系,提出一种降序分支搜索链模型.进一步地,在模型优化层面,减少了需搜索划分子集数量的方法;在算法实现层面,结合并行技术实现对模型搜索空间的约减.将加速算法应用于ARX类密码算法族SPECK,获得了 20 轮、14 轮、11 轮 SPECK-48、SPECK-96、SPECK-128 的最优差分特征,较现有最好结果分别提高了 1轮、4轮、2轮....

Full description

Saved in:
Bibliographic Details
Published in通信学报 Vol. 44; no. 4; pp. 137 - 144
Main Authors 胡斌, 谈潇, 王森鹏
Format Journal Article
LanguageChinese
Published 密码科学技术国家重点实验室,北京 100878 25.04.2023
信息工程大学密码工程学院,河南 郑州 450001%信息工程大学密码工程学院,河南 郑州 450001
Subjects
分组密码
差分特征
分治策略
自动化搜索
Online AccessGet full text
ISSN1000-436X
DOI10.11959/j.issn.1000-436x.2023082

Cover

More Information
Summary:TP391; 为了提高自动化搜索效率,结合分治策略提出了一种基于SAT模型的最优差分特征搜索算法.利用任意部分连续轮的Matsui边界条件提供的信息,将搜索空间划分为互不相交的子集.通过分析SAT差分模型间的可满足性关系,提出一种降序分支搜索链模型.进一步地,在模型优化层面,减少了需搜索划分子集数量的方法;在算法实现层面,结合并行技术实现对模型搜索空间的约减.将加速算法应用于ARX类密码算法族SPECK,获得了 20 轮、14 轮、11 轮 SPECK-48、SPECK-96、SPECK-128 的最优差分特征,较现有最好结果分别提高了 1轮、4轮、2轮.
ISSN:1000-436X
DOI:10.11959/j.issn.1000-436x.2023082