基于混合整数线性规划的MORUS初始化阶段的差分分析
TN918.1; 认证加密算法 MORUS是凯撒(CAESAR)竞赛的优胜算法,抗差分分析性能是衡量认证加密算法安全性的重要指标之一.该文研究了MORUS算法初始化阶段的差分性质,首先给出了一个差分推导规则,可以快速获得一条概率较大的差分链.在此基础上利用混合整数线性规划(MILP)自动搜索技术求解更优的差分链.为了提高搜索速度,结合MORUS初始化阶段的结构特点给出了分而治之策略.根据△IV的重量、取值将MILP模型划分为多个子模型并证明了部分子模型的等价性,大大缩减了模型的求解时间,得到了MORUS初始化阶段1~6步状态更新的最优差分链.最后给出了简化版MORUS的差分-区分攻击,该文的结...
Gespeichert in:
Veröffentlicht in: | 电子与信息学报 2023-07, Vol.45 (7), p.2537-2545 |
---|---|
Hauptverfasser: | , , , |
Format: | Artikel |
Sprache: | chi |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | TN918.1; 认证加密算法 MORUS是凯撒(CAESAR)竞赛的优胜算法,抗差分分析性能是衡量认证加密算法安全性的重要指标之一.该文研究了MORUS算法初始化阶段的差分性质,首先给出了一个差分推导规则,可以快速获得一条概率较大的差分链.在此基础上利用混合整数线性规划(MILP)自动搜索技术求解更优的差分链.为了提高搜索速度,结合MORUS初始化阶段的结构特点给出了分而治之策略.根据△IV的重量、取值将MILP模型划分为多个子模型并证明了部分子模型的等价性,大大缩减了模型的求解时间,得到了MORUS初始化阶段1~6步状态更新的最优差分链.最后给出了简化版MORUS的差分-区分攻击,该文的结果较之前的工作有较大的提升. |
---|---|
ISSN: | 1009-5896 |
DOI: | 10.11999/JEIT220735 |