面向ACORN v3消息认证码的随机差分故障分析

轻量级认证加密算法ACORN v3作为CAESAR竞赛最终胜出的代表算法之一, 其新颖的设计和轻量化高效实现的特点受到国内外密码学界的广泛关注. 本文根据差分故障攻击模型, 对ACORN v3用于认证时的抗差分故障攻击能力进行了分析: 针对MAC长度有限造成唯一定位故障概率不高的问题, 给出了提高唯一定位故障概率的交互验证策略和改进的高概率优先策略; 证明了认证比特差分代数表达式具有特定的规律, 据此将每次故障注入的猜测复杂度由49 bit降至0.713 bit; 利用差分代数方法, 给出了由认证比特差分建立相关内部状态低次方程的算法和基于方程求解的状态恢复攻击, 攻击所需的计算复杂度为 20...

Full description

Saved in:
Bibliographic Details
Published inJournal of Cryptologic Research Vol. 8; no. 3; p. 498
Main Authors 张国双, 陈晓, 王安, 刘凤梅
Format Journal Article
LanguageChinese
Published Beijing Chinese Association for Cryptologic Research, Journal of Cryptologic Research 25.06.2021
Subjects
Algorithms
Complexity
Cryptography
Encryption
Fault location
Lightweight
Linear equations
Strategy
Online AccessGet full text
ISSN2097-4116
DOI10.13868/j.cnki.jcr.000454

Cover

More Information
Summary:轻量级认证加密算法ACORN v3作为CAESAR竞赛最终胜出的代表算法之一, 其新颖的设计和轻量化高效实现的特点受到国内外密码学界的广泛关注. 本文根据差分故障攻击模型, 对ACORN v3用于认证时的抗差分故障攻击能力进行了分析: 针对MAC长度有限造成唯一定位故障概率不高的问题, 给出了提高唯一定位故障概率的交互验证策略和改进的高概率优先策略; 证明了认证比特差分代数表达式具有特定的规律, 据此将每次故障注入的猜测复杂度由49 bit降至0.713 bit; 利用差分代数方法, 给出了由认证比特差分建立相关内部状态低次方程的算法和基于方程求解的状态恢复攻击, 攻击所需的计算复杂度为 20.713⋅n+0.415⋅N3⋅c, 其中, n为故障注入次数, N3为需要线性化的方程个数, c 是求解342比特变元线性方程组的复杂度, 数据复杂度和存储复杂度可以忽略不计.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2097-4116
DOI:10.13868/j.cnki.jcr.000454