基于MILP的轻量级密码算法ACE与SPIX的线性分析
作者机构:智能博弈与决策实验室 军事科学院 战略支援部队信息工程大学密码工程学院
出 版 物:《电子学报》 (Acta Electronica Sinica)
年 卷 期:2024年
核心收录:
学科分类:07[理学] 070104[理学-应用数学] 0701[理学-数学]
主 题:混合整数线性规划 约束求解 轻量级密码算法 线性分析
摘 要:研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解模型得到了2至4步ACE置换与2至5步SLISCP置换最优的线性迹.证明了7步、12步ACE置换分别达到了128比特与320比特的安全目标,7步、13步SLISCP置换分别达到了128比特与256比特的安全目标.对于任意步数的ACE置换与SLISCP置换,认证加密算法ACE-AE-128与SPIX均能够抵抗明文处理阶段的线性区分攻击.