10.3969/j.issn.0372-2112.2013.11.032
对分组密码的形式化函数分析及其应用
本文给出了分组密码的新的分析方法：形式化函数分析，即通过符号计算将密文形式地表示为明文和密钥的函数．作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击．对13轮LBlock的中间相遇攻击的时间复杂度为276.2次13轮LBlock加密，数据复杂度为1个已知明文．优于Nicolas Courtois等人在FSE 2012上给出的8轮代数攻击，其数据复杂度为6个已知明文．
形式化函数分析、形式化编码方法、鲁班锁分组密码、符号计算、中间相遇攻击、分组密码
TN918
郑州市科技创新团队项目．10CXTD150
2013-12-10（万方平台首次上网日期，不代表论文的发表时间）
共3页
2314-2316
