对分组密码的形式化函数分析及其应用
Formal Function Cryptanalysis of Block Cipher and Its Application作者机构：解放军信息工程大学网络空间安全学院河南郑州450002 解放军信息工程大学理学院河南郑州450002 桂林电子科技大学广西桂林510540 解放军信息工程大学科研部河南郑州450002
出 版 物：《电子学报》 (Acta Electronica Sinica)
年 卷 期：2013年第41卷第11期
页 面：2314-2316页
核心收录：
学科分类：11[军事学] 1105[军事学-军队指挥学] 0839[工学-网络空间安全] 08[工学] 110505[军事学-密码学] 110503[军事学-军事通信学]
主 题：形式化函数分析 形式化编码方法 鲁班锁分组密码 符号计算 中间相遇攻击 分组密码
摘 要：本文给出了分组密码的新的分析方法:形式化函数分析,即通过符号计算将密文形式地表示为明文和密钥的函数.作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击.对13轮LBlock的中间相遇攻击的时间复杂度为276.2次13轮LBlock加密,数据复杂度为1个已知明文.优于Nicolas Courtois等人在FSE 2012上给出的8轮代数攻击,其数据复杂度为6个已知明文.
维普期刊数据库
同方期刊数据库