电子学报 ›› 2013, Vol. 41 ›› Issue (11): 2314-2316.DOI: 10.3969/j.issn.0372-2112.2013.11.032

• 科研通信 • 上一篇    下一篇

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

彭昌勇1,2, 朱创营3, 黄莉4, 祝跃飞1, 王靳辉2   

  1. 1. 解放军信息工程大学网络空间安全学院, 河南郑州 450002;
    2. 解放军信息工程大学理学院, 河南郑州 450002;
    3. 桂林电子科技大学, 广西桂林 510540;
    4. 解放军信息工程大学科研部, 河南郑州 450002
  • 收稿日期:2012-09-11 修回日期:2013-01-20 出版日期:2013-11-25
    • 作者简介:
    • 彭昌勇 男,1974年生于湖南永州.解放军信息工程大学博士研究生.研究方向为分组密码. E-mail:cy.peng@163.com朱创营 男,1986年生于河南尉氏.硕士生.研究方向为形式化验证和信息安全. E-mail:39463021@qq.com
    • 基金资助:
    • 郑州市科技创新团队项目 (No.10CXTD150)

Formal Function Cryptanalysis of Block Cipher and Its Application

PENG Chang-yong1,2, ZHU Chuang-ying3, HUANG Li4, ZHU Yue-fei1, WANG Jin-hui2   

  1. 1. Cyberspace security college, PLA Information Engineering University, Zhengzhou, Henan 450002, China;
    2. College of Science, PLA Information Engineering University, Zhengzhou, Henan 450002, China;
    3. School of Computer and Control, Guillin University of Electronic Technology, Guilin, Guangxi 510540, China;
    4. Scientific Research Department, PLA Information Engineering University, Zhengzhou, Henan 450002, China
  • Received:2012-09-11 Revised:2013-01-20 Online:2013-11-25 Published:2013-11-25
    • Supported by:
    • Program of Science and technology Innovation team of Zhengzhou,  Hunan Province (No.10CXTD150)

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

关键词: 形式化函数分析, 形式化编码方法, 鲁班锁分组密码, 符号计算, 中间相遇攻击, 分组密码

Abstract: This paper introduces FFC(formal function cryptanalysis)of block cipher that expresses each bit in the ciphertext as pure formal functions in terms of the bits of the plaintext and master key by symbolic computation.As an application,we give a meet in the middle attack on 13-round LBlock lightweight block cipher.The meet in the middle attack has a complexity of 276.2 13-round LBlock encryption using only 1 known plaintext,which is better than the algebraic attack given by Nicolas Courtois etc.at FSE 2012 on 8-round LBlock,with data complexity 6 known plaintexs.

Key words: formal function cryptanalysis, method of formal coding, LBlock, symbolic computation, meet in the middle attack, block cipher

中图分类号: