基于MILP对SPECK32循环参数安全性探究  

Research on Rotation Parameters of SPECK32 Based on MILP

作　　者：陈少真[1,2] 侯泽洲 任炯炯 CHEN Shaozhen;HOU Zezhou;REN Jiongjiong(Information Engineering University,Zhengzhou 450001,China;State Key Laboratory of Cryptology,Beijing 471003,China)

机构地区：[1]信息工程大学,河南郑州450001 [2]密码科学技术国家重点实验室,北京100878

出　　处：《信息工程大学学报》2020年第5期579-585,共7页Journal of Information Engineering University

基　　金：数学工程与先进计算国家重点实验室开放基金课题(2018A03);国家密码发展基金资助项目(MMJJ20180203);信息保障技术重点实验室开放基金课题(KJ-17-002)。

摘　　要：近年来,基于MILP的搜索技术越来越多地应用到分组密码算法的差分路径的寻找过程中,且与以往的找寻差分路径的算法相比在时间复杂度、空间复杂度上有较为明显的优势。首先分析前人针对SPECK算法的MILP模型的构造,特别是对模加操作的MILP模型的构造并对其进行说明。而后修改SPECK32算法循环移位参数并基于MILP技术进行了低轮数自动化搜索差分路径的实验,并以差分概率为衡量标准来推断抗低轮数差分攻击的最佳循环参数对。最后,对循环参数对对减轮SPECK32安全性的影响进行了分析与总结。In recent years,more and more MILP-based search techniques have been applied to finding differential characteristics of block cipher,and it is obvious that it is better than previous algorithms in time and space complexity when we find differential characteristics.In this article,we firstly analyze the construction of the MILP model of the SPECK algorithm,especially the construction of the MILP model of the modular addition operation.Secondly,we modify the rotation parameters of the SPECK32 to find low-round differential characteristics based on MILP,and search the rotation parameters pair to resist low-round differential attacks based on differential probability.Finally,we analyze and summarize the influence of rotation parameters on the safety of round-reduced SPECK32.

关 键 词：轻量级分组密码 SPECK 差分特征 MILP 

分 类 号：TP3-05[自动化与计算机技术—计算机科学与技术]