计算机工程

作者：黄长阳, 王韬, 王晓晗, 陈庆超, 尹世庄

单位：陆军工程大学 装备模拟训练中心, 石家庄 050003

关键词：SIMECK密码,代数故障攻击,故障失效,轮函数缺陷,故障模型,CryptoMiniSat解析器

基金：国家自然科学基金（61272491，61309021，61402528）。

针对SIMECK密码，提出一种优化故障定位的代数故障攻击方法。通过分析SIMECK轮函数加密扩散缺陷及故障失效原因，提取故障确定性传播特征并构建确定性故障差分特性表，实现故障的精确定位。创建加密过程和故障信息等效方程组，将方程组转化为SAT问题并求解密钥。实验结果表明，该方法在SIMECK32/64第28轮左寄存器中注入随机单比特故障，仅需8次故障注入即可恢复完整64 bit主密钥，攻击成功率高达99.61%，相比已有故障攻击方法所需故障样本量更少，攻击成功率及创建方程自动化程度更高。

来源：2019年第8期

《计算机工程》期刊编辑部

查看计算机工程杂志2019年第8期