摘要
概括了可分性在积分分析中的现状,总结了混合整数线性规划(Mixed Integer Linear Programming,MILP)在积分区分器搜索中目前的结果与应用。在已知的可分性建模规则的基础上,针对ESF算法和HBcipher算法,设计合适初始可分性,建立MILP模型,并采用开源求解器进行积分区分器自动搜索。填补了HBcipher和ESF算法在积分分析上的空白,搜索到最多9轮的积分区分器,在8轮上也得到了较多平衡位的区分器。与其他密码分析做对比,ESF、HBcipher分组密码算法在积分分析上有很大的分析空间。
The present situation of separability in integral analysis is summarized,and the results and applications of Mixed Integer Linear Programming(MILP)in integral discriminator search are summarized.On the basis of known separability modeling rules,for ESF and HBcipher algorithm,a suitable initial separability is designed,MILP model is established,and an open source solver is used for automatic search of integral discriminator.It fills the gap in the integral analysis of HBcipher and ESF algorithms.Up to 9 rounds of integral distinguishers have been found,and more balanced position differentiators have been found on 8 rounds.Compared with other cipher analysis,ESF and HBcipher block cipher algorithms have a lot of possibility in integral analysis.
作者
邱亭秀
王启春
QIU Tingxiu;WANG Qichun(College of Computer and Electronic Information,Nanjing Normal University,Nanjing 210046,China;Shanghai Key Laboratory of Intelligent Information Processing,Fudan University,Shanghai 200433,China)
出处
《计算机与网络》
2023年第20期67-71,共5页
Computer & Network
基金
江苏省研究生科研与实践创新计划项目(KYCX22_1652)
国家自然基金(62172230)
江苏省自然科学基金(BK20201369)
上海智能信息处理重点实验室开放研究计划(BK20201369)。
