论文部分内容阅读
近年来,基于MILP的搜索技术越来越多地应用到分组密码算法的差分路径的寻找过程中,且与以往的找寻差分路径的算法相比在时间复杂度、空间复杂度上有较为明显的优势。首先分析前人针对SPECK算法的MILP模型的构造,特别是对模加操作的MILP模型的构造并对其进行说明。而后修改SPECK32算法循环移位参数并基于MILP技术进行了低轮数自动化搜索差分路径的实验,并以差分概率为衡量标准来推断抗低轮数差分攻击的最佳循环参数对。最后,对循环参数对对减轮SPECK32安全性的影响进行了分析与总结。