基于MILP的轻量级序列密码算法线性分析  

Linear Analysis of Lightweight Stream Cipher Algorithm Based on Mixed Integer Linear Programming

作　　者：帅燕 胡汉平[1,2] SHUAI Yan;HU Hanping(School of Artifi cial Intelligence and Automation,Huazhong University of Science and Technology,Wuhan 430074,China;Key Laboratory of Image Information Processing and Intelligent Control,Ministry of Education,Wuhan 430074,China)

机构地区：[1]华中科技大学人工智能与自动化学院,武汉430074 [2]图像信息处理与智能控制教育部重点实验室,武汉430074

出　　处：《信息网络安全》2025年第2期260-269,共10页Netinfo Security

基　　金：湖北省重点研发计划[2020BAB104]。

摘　　要：文章针对一种基于时变互耦合双混沌系统的轻量级序列密码算法的安全性进行评估,轻量级序列密码算法的安全性对保障物联网和移动通信等资源受限环境的数据安全至关重要。文章选取了混合整数线性规划方法作为分析工具,构建算法的数学模型,并通过对模型的优化求解,得出算法在不同运行模式下的最大线性相关系数,范围在2^(-54)~2^(-26)之间。实验结果表明,该算法在相关性方面存在一定的脆弱性,攻击者通过穷举110位初始密钥来破解算法,复杂度远低于其128bit初始密钥的穷举复杂度。文章不仅提供了对该算法安全性的定量评估,而且验证了在密码学中进行相关性分析的重要性以及混合整数线性规划技术在密码算法安全性评估方面的有效性。文章对于推动轻量级密码算法的安全性分析和设计具有一定的理论和实践意义,为资源受限环境下的数据安全提供了有力的理论支持。This paper addressed the evaluation of the security of a lightweight stream cipher algorithm based on a time-varying mutually coupled dual chaotic system,which was crucial for securing data in resource-constrained environments such as the Internet of things and mobile communications.The article selected the mixed integer linear programming method as an analytical tool to construct a mathematical model of the algorithm,and revealed the maximum linear correlation coefficients of the algorithm under different modes of operation,ranging from 2^(-54)to 2^(-26),by optimally solving the model.This finding suggests that the algorithm is vulnerable in terms of correlation,and an attacker may be able to crack the algorithm by exhaustively enumerating up to 110 bits of the initial key,which is much less complex than the complexity of exhaustively enumerating its 128-bit initial key.This paper not only provides a quantitative assessment of the security of this algorithm,but also emphasizes the importance of correlation analysis in cryptographic design and the effectiveness of the mixed integer linear programming technique in the security assessment of cryptographic algorithms.Overall,the research in this paper is of great theoretical and practical significance in advancing the security analysis and design of lightweight cryptographic algorithms,and provides strong theoretical support for data security in resource-constrained environments.

关 键 词：混沌序列密码算法 线性分析 混合整数线性规划 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]