自动化搜索ARX分组密码不可能差分与零相关线性闭包

• 作者: 韩亚
• 来源期刊: 网络与信息安全学报
• 学科: 工学
• 关键词: 不可能差分 零相关线性 ARX结构 SAT求解器
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 58-63
• 页数: 6页
• 分类号: TP309
• 字数: 3614字
• 语种: 中文
• DOI: 10.11959/j.issn.2096-109x.2017.00175

摘要

首先,构造了ARX分组密码差分特征及线性掩码的传播方程;然后,利用SAT求解器求解传播方程并且判定该传播系统是否为有效传播;最后,遍历差分特征及线性掩码自动化搜索不可能差分及零相关线性闭包.利用该算法搜索TEA、XTEA和SIMON的不可能差分与零相关线性闭包,并得到TEA、XTEA及SIMON族分组密码的最优不可能差分与零相关线性闭包.此外,利用差分以及线性分布表,该算法能有效搜索基于S盒分组密码的不可能差分及零相关线性闭包.

作者信息

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