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

彭昌勇; 朱创营; 黄莉; 祝跃飞; 王靳辉

doi:10.3969/j.issn.0372-2112.2013.11.032

您当前的位置：

首页 >

文章列表页 >

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

科研通信 | 更新时间：2025-07-16

- 对分组密码的形式化函数分析及其应用
- Formal Function Cryptanalysis of Block Cipher and Its Application
- 电子学报 2013年41卷第11期页码：2314-2316
- 作者机构：
  
  1. 解放军信息工程大学网络空间安全学院,河南,郑州,450002
  2. 解放军信息工程大学理学院,河南,郑州,450002
  3. 桂林电子科技大学,广西,桂林,510540
  4. 解放军信息工程大学科研部,河南,郑州,450002
  5. 解放军信息工程大学网络空间安全学院,河南,郑州,450002
  6. 解放军信息工程大学理学院,河南,郑州,450002
  7. 桂林电子科技大学,广西,桂林,510540
  8. 解放军信息工程大学科研部,河南,郑州,450002
- 作者简介：
- 基金信息：
  
  郑州市科技创新团队项目 (No.10CXTD150）
- DOI：10.3969/j.issn.0372-2112.2013.11.032
  中图分类号： TN918
- 纸质出版：2013
- 稿件说明：
移动端阅览
彭昌勇, 朱创营, 黄莉, 等. 对分组密码的形式化函数分析及其应用[J]. 电子学报, 2013,41(11):2314-2316.

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.
彭昌勇, 朱创营, 黄莉, 等. 对分组密码的形式化函数分析及其应用[J]. 电子学报, 2013,41(11):2314-2316. DOI： 10.3969/j.issn.0372-2112.2013.11.032.

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

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

两类动态密码结构抵抗不可能差分和零相关线性能力评估

一种抗错误注入攻击的S盒的构造

基于持续性故障的分组密码算法S盒表逆向分析

对Rijndael-256算法新的积分攻击

Camellia的差分和线性迭代特征