ARX结构分组密码积分区分器的自动化搜索

• 作者: 王明生 韩亚
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: ARX 三子集 积分区分器 SAT/SMT
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 103-110
• 页数: 8页
• 分类号: TP391
• 字数: 6516字
• 语种: 中文
• DOI: 10.11959/j.issn.1000-436x.2018081

摘要

首先,基于三子集传播的积分可分性质,分别构造ARX结构分组密码积分的K集和L集传播方程,其中,经过分组密码轮函数异或操作时,L集所有向量影响K集向量传播;然后,利用SAT/SMT求解器,建立ARX结构分组密码积分传播方程;最后,遍历满足一定数据复杂度的积分输入,自动化搜索缩减轮数的 ARX 结构分组密码积分区分器.利用该方法能高效地自动化搜索ARX结构,包括类SIMON簇、HIGHT、SPECK簇和LEA等分组密码算法的积分区分器.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王明生	中国科学院信息工程研究所信息安全国家重点实验室	24	119	5.0	10.0
5	韩亚	中国科学院信息工程研究所信息安全国家重点实验室	2	1	1.0	1.0