%0 Journal Article
%T SIMON不可能差分及零相关路径自动化搜索算法
%A 张仕伟
%A 陈少真
%J -
%D 2018
%R 10.13328/j.cnki.jos.005296
%X 对于分组密码，不可能差分和零相关线性分析都是很重要的分析手段.通过研究非线性组件与（AND）的性质，首先得到用于刻画SIMON轮函数差分及线性传播特性的约束式，再基于布尔可满足约束问题（SAT），提出一种普适性不可能差分和零相关路径自动化搜索算法，并利用该算法搜索得到SIMON更多的不可能差分及零相关路径.除用于自动化搜索外，该算法还可判断特定的差分对（掩码对）是否能构成一条有效不可能差分和零相关路径.此外，基于该算法，从抵抗不可能差分攻击的角度出发，给出SIMON轮函数设计中循环移位常数的选取依据
%K 分组密码 不可能差分分析 零相关线性分析 自动搜索算法 SIMON
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=5296&flag=1