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

摘要：

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

关键词：不可能差分、零相关线性、ARX结构、SAT求解器

所属期刊栏目：3

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61379142;国家重点基础研究发展计划“973”计划基金资助项目2013CB834203

在线出版日期：2018-01-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：58-63