Formal Function Cryptanalysis of Block Cipher and Its Application

PENG Chang-yong; ZHU Chuang-ying; HUANG Li; ZHU Yue-fei; WANG Jin-hui

doi:10.3969/j.issn.0372-2112.2013.11.032

您当前的位置：

首页 >

文章列表页 >

Formal Function Cryptanalysis of Block Cipher and Its Application

更新时间：2025-07-16

- Formal Function Cryptanalysis of Block Cipher and Its Application
- Acta Electronica Sinica Vol. 41, Issue 11, Pages: 2314-2316(2013)
- 作者机构：
  
  1. 解放军信息工程大学网络空间安全学院,河南,郑州,450002
  2. 解放军信息工程大学理学院,河南,郑州,450002
  3. 桂林电子科技大学,广西,桂林,510540
  4. 解放军信息工程大学科研部,河南,郑州,450002
  5. 解放军信息工程大学网络空间安全学院,河南,郑州,450002
  6. 解放军信息工程大学理学院,河南,郑州,450002
  7. 桂林电子科技大学,广西,桂林,510540
  8. 解放军信息工程大学科研部,河南,郑州,450002
- 作者简介：
- 基金信息：
- DOI：10.3969/j.issn.0372-2112.2013.11.032
  CLC： TN918
- Published：2013
- 稿件说明：
移动端阅览
PENG Chang-yong, ZHU Chuang-ying, HUANG Li, et al. Formal Function Cryptanalysis of Block Cipher and Its Application[J]. Acta Electronica Sinica, 2013, 41(11): 2314-2316.
DOI：

PENG Chang-yong, ZHU Chuang-ying, HUANG Li, et al. Formal Function Cryptanalysis of Block Cipher and Its Application[J]. Acta Electronica Sinica, 2013, 41(11): 2314-2316. DOI： 10.3969/j.issn.0372-2112.2013.11.032.

摘要

本文给出了分组密码的新的分析方法：形式化函数分析，即通过符号计算将密文形式地表示为明文和密钥的函数.作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击.对13轮LBlock的中间相遇攻击的时间复杂度为2

76.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 2

76.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.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Security Evaluation Against Impossible Differential Cryptanalysis and Zero Correlation Linear Cryptanalysis for Two Dynamic Cryptographic Structures

Construction of Fault Injection Attacks Resistant S-Boxes

Reverse-Engineering Secret S-box of Block Ciphers by Persistent Fault

New Integral Attack on Rijndael-256

Differential and Linear Iterative Characteristics of Camellia

Related Author

SHEN Xuan

LIU Guo-qiang

SUN Bing

HE Jun

CHAI Jin-jin

WU Xuan

WANG An

GU Rui

Related Institution

Hunan Engineering Research Center of Commercial Cryptography Theory and Technology Innovation

State Key Laboratory of Information Security， Institute of Information Engineering， Chinese Academy of Sciences

College of Sciences， National University of Defense Technology

College of Information and Communication， National University of Defense Technology

Institute of Air Defense and Anti-missile， Air Force Engineering University

⁰