基于混合整数线性规划的MORUS初始化阶段的差分分析

TN918.1; 认证加密算法 MORUS是凯撒(CAESAR)竞赛的优胜算法,抗差分分析性能是衡量认证加密算法安全性的重要指标之一.该文研究了MORUS算法初始化阶段的差分性质,首先给出了一个差分推导规则,可以快速获得一条概率较大的差分链.在此基础上利用混合整数线性规划(MILP)自动搜索技术求解更优的差分链.为了提高搜索速度,结合MORUS初始化阶段的结构特点给出了分而治之策略.根据△IV的重量、取值将MILP模型划分为多个子模型并证明了部分子模型的等价性,大大缩减了模型的求解时间,得到了MORUS初始化阶段1~6步状态更新的最优差分链.最后给出了简化版MORUS的差分-区分攻击,该文的结...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
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!
Beschreibung
Zusammenfassung:TN918.1; 认证加密算法 MORUS是凯撒(CAESAR)竞赛的优胜算法,抗差分分析性能是衡量认证加密算法安全性的重要指标之一.该文研究了MORUS算法初始化阶段的差分性质,首先给出了一个差分推导规则,可以快速获得一条概率较大的差分链.在此基础上利用混合整数线性规划(MILP)自动搜索技术求解更优的差分链.为了提高搜索速度,结合MORUS初始化阶段的结构特点给出了分而治之策略.根据△IV的重量、取值将MILP模型划分为多个子模型并证明了部分子模型的等价性,大大缩减了模型的求解时间,得到了MORUS初始化阶段1~6步状态更新的最优差分链.最后给出了简化版MORUS的差分-区分攻击,该文的结果较之前的工作有较大的提升.
ISSN:1009-5896
DOI:10.11999/JEIT220735