基于MILP的相关密钥差分分析安全评估算法改进

摘要：

近年来,基于混合整数线性规划(MILP)的密码分析方法在对称密码的安全性分析中发挥了重要作用.Zhou等人在FSE 2020上提出了结合分治法,大幅度提高基于MILP的差分和线性特征搜索方法效率.本文将Zhou等人的方法扩展到相关密钥差分特征搜索,提出了一种更高效的基于MILP的相关密钥差分分析安全评估新算法.应用新算法评估了PRESENT-80/128抵抗相关密钥差分分析的安全性,得到了高达15轮的最小活跃S盒数量和高达12轮的最优相关密钥差分特征,并由此得到了迄今最紧的PRESENT-80/128抵抗相关密钥差分分析安全界.找到了一条概率为2?62的15轮PRESENT-80相关密钥差分特征,和一条概率为2?60的16轮PRESENT-128相关密钥差分特征,是目前对于PRESENT-80/128轮数最长的相关密钥差分特征.

关键词：分组密码、相关密钥差分分析、MILP、PRESENT-80/128

所属期刊栏目：10

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

资助基金：国家自然科学基金61379138

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

页数：共14页

页码：181-194