对分组密码的形式化函数分析及其应用

• 作者: 彭昌勇 朱创营 王靳辉 祝跃飞 黄莉
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 形式化函数分析 形式化编码方法 鲁班锁分组密码 符号计算 中间相遇攻击 分组密码
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 科研通信
• 页码范围: 2314-2316
• 页数: 3页
• 分类号: TN918
• 字数: 2176字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.11.032

摘要

本文给出了分组密码的新的分析方法：形式化函数分析，即通过符号计算将密文形式地表示为明文和密钥的函数．作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击．对13轮LBlock的中间相遇攻击的时间复杂度为276.2次13轮LBlock加密，数据复杂度为1个已知明文．优于Nicolas Courtois等人在FSE 2012上给出的8轮代数攻击，其数据复杂度为6个已知明文．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝跃飞	解放军信息工程大学网络空间安全学院	62	440	13.0	16.0
2	彭昌勇	解放军信息工程大学网络空间安全学院	6	35	4.0	5.0
6	朱创营		4	17	3.0	4.0
7	黄莉	解放军信息工程大学科研部	2	8	2.0	2.0
8	王靳辉	解放军信息工程大学理学院	4	17	3.0	4.0