Piccolo密码代数故障分析研究

• 作者: 刘会英 张帆 王平 王韬 赵新杰 郭世泽 黄静
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 代数故障分析 故障模型 CryptMinisat Piccolo 轻量级分组密码
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 信息安全
• 页码范围: 882-894
• 页数: 13页
• 分类号: TP309
• 字数: 9470字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.00882

摘要

应用代数故障分析方法,对Piccolo密码抗故障攻击安全性进行了评估.首先利用代数方法建立Piccolo密码等效布尔方程组；然后通过故障攻击手段获取故障密文并将故障注入差分进行表示,给出了一种故障注入位置未知情况下的故障差分布尔方程组表示方法；最后使用CryptoMiniSAT解析器求解联立方程组恢复密钥.结果表明,代数故障分析相比传统差分故障分析具有以下优点:(1)在线故障注入较少,在Piccolo-80第23轮注入4bit故障,1次故障注入即可恢复80位密钥；(2)离线分析方法简单,无需结合算法和故障模型判断故障位置,执行繁琐的故障差分传播分析,自动化程度较高；(3)计算资源利用率高,可将故障攻击下的密钥恢复转化为代数方程求解问题,充分利用计算资源；(4)通用性较好,可扩展到宽度故障模型、深度故障模型、其它版本的Piccolo密码以及多种分组密码,有望成为评估分组密码抗故障攻击能力的通用方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王韬	军械工程学院信息工程系	122	627	13.0	17.0
2	郭世泽		22	165	9.0	11.0
3	赵新杰	军械工程学院信息工程系	49	265	10.0	13.0
5	刘会英	军械工程学院信息工程系	32	148	7.0	10.0
8	黄静	清华大学计算机科学与技术系	8	58	5.0	7.0
9	王平		3	7	1.0	2.0