ARX结构分组密码积分区分器的自动化搜索

韩亚; 王明生

doi:10.11959/j.issn.1000-436x.2018081

您当前的位置：

首页 >

文章列表页 >

ARX结构分组密码积分区分器的自动化搜索

学术论文 | 更新时间：2024-06-05

- ARX结构分组密码积分区分器的自动化搜索
- Automatic method for searching integral distinguishers of ARX block ciphers
- 通信学报 2018年39卷第5期页码：103-110
- 作者机构：
  
  1. 中国科学院信息工程研究所信息安全国家重点实验室，北京 100093
  2. 中国科学院大学网络空间安全学院，北京 100049
- 作者简介：
  
  [ "韩亚（1989-），男，河南商丘人，中国科学院信息工程研究所博士生，主要研究方向为信息安全、密码学等。" ]
  [ "王明生（1967-），男，四川遂宁人，中国科学院信息工程研究所研究员、博士生导师，主要研究方向为轻量密码学、大数据密码和密码相关的困难问题等。" ]
- 基金信息：
  
  国家自然科学基金资助项目(61772516)
- DOI：10.11959/j.issn.1000-436x.2018081
  中图分类号： TP391
- 网络首发：2018-05，
  
  纸质出版：2018-05-25
- 稿件说明：
移动端阅览
韩亚, 王明生. ARX结构分组密码积分区分器的自动化搜索[J]. 通信学报, 2018,39(5):103-110.

Ya HAN, Mingsheng WANG. Automatic method for searching integral distinguishers of ARX block ciphers[J]. Journal on Communications, 2018, 39(5): 103-110.
韩亚, 王明生. ARX结构分组密码积分区分器的自动化搜索[J]. 通信学报, 2018,39(5):103-110. DOI： 10.11959/j.issn.1000-436x.2018081.

Ya HAN, Mingsheng WANG. Automatic method for searching integral distinguishers of ARX block ciphers[J]. Journal on Communications, 2018, 39(5): 103-110. DOI： 10.11959/j.issn.1000-436x.2018081.

摘要

首先，基于三子集传播的积分可分性质，分别构造ARX结构分组密码积分的K集和L集传播方程，其中，经过分组密码轮函数异或操作时，L集所有向量影响K集向量传播；然后，利用SAT/SMT求解器，建立ARX结构分组密码积分传播方程；最后，遍历满足一定数据复杂度的积分输入，自动化搜索缩减轮数的 ARX 结构分组密码积分区分器。利用该方法能高效地自动化搜索ARX结构，包括类SIMON簇、HIGHT、SPECK簇和LEA等分组密码算法的积分区分器。

Abstract

Firstly

based on three subsets division property propagation technique

the propagation function of the K-set and L-set of ARX block ciphers was constructed respectively.All vectors in L-set affected the propagation of K-set when propagate through xored round key operation.With SAT/SMT solver

round reduced integral propagation functions of ARX block ciphers could be established.Finally

by exhausting all possible input integral characteristics with proper data complexity

round reduced integral distinguishers of ARX block ciphers could be found.The proposed method can be used for searching integral distinguishers of ARX block ciphers including SIMON-like family block ciphers

HIGHT

SPECK family block ciphers and LEA effectively.

关键词

Keywords

references

TODO Y , . Structural evaluation by generalized integral property [C ] // EUROCRYPT . 2015 : 287 - 314 .

TODO Y , . Integral cryptanalysis on full MISTY1 [C ] // CRYPTO . 2015 : 413 - 432 .

WANG Q J , LIU Z Q , KEREM V , et al . Cryptanalysis of reduced-round SIMON32 and SIMON48 [C ] // INDOCRYPT . 2014 : 143 - 160 .

TODO Y , MORII M . Bit-based division property and application to simon family [C ] // Fast Software Encryption . 2016 : 357 - 377 .

ALEX B , ARNAB R , VESSELIN V . Differential analysis of block ciphers SIMON and SPECK [C ] // Fast Software Encryption . 2014 : 546 - 570 .

XIANG Z J , ZHANG W T , BAO Z Z , et al . Applying MILP method to searching integral distinguishers based on division property for 6 lightweight block ciphers [C ] // ASIACRYPT . 2016 : 648 - 678 .

SUN L , WANG W , LIU R , et al . Milp-aided bit-based division property for arx-based block cipher [M ] . IACR Cryptology ePrint Archive , 2016 .

DEUKIO H , JAECHUL S , SEOKHIE H , et al . HIGHT:a new block cipher suitablefor low-resource device [C ] // Cryptographic Hardware and Embedded Systems . 2006 : 46 - 59 .

DEUKIO H , JUNG K L , DONG C K , et al . LEA:a 128-bit block cipher for fast encryption on common processors [C ] // WISA . 2013 : 3 - 27 .

DAVID J,WHEELER , ROGER M . Tea,a tiny encryption algorithm [C ] // Fast Software Encryption . 1994 : 363 - 366 .

YAO J T , LIU W N . The STP model for solving imprecise problems [C ] // GrC . 2006 : 683 - 687 .

YANG G Q , ZHU B , VALENTIN S , et al . The simeck family of lightweight block ciphers [C ] // Cryptographic Hardware and Embedded Systems . 2015 : 307 - 329 .

浏览量

1971

下载量

CSCD

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

提交

工具集

关联资源

暂无数据