自动化搜索ARX分组密码不可能差分与零相关线性闭包

韩亚

doi:10.11959/j.issn.2096-109x.2017.00175

您当前的位置：

首页 >

文章列表页 >

自动化搜索ARX分组密码不可能差分与零相关线性闭包

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

- 自动化搜索ARX分组密码不可能差分与零相关线性闭包
- Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers
- 网络与信息安全学报 2017年3卷第7期页码：58-63
- 作者机构：
  
  1. 中国科学院信息工程研究所信息安全国家重点实验室，北京 100093
  2. 中国科学院大学，北京 100049
- 作者简介：
  
  [ "韩亚（1989-），男，河南商丘人，中国科学院信息工程研究所博士生，主要研究方向为密码学。" ]
- 基金信息：
  
  国家自然科学基金资助项目;The National Natural Science Foundation of China(61379142);国家重点基础研究发展计划（“973”计划）基金资助项目;The National Basic Research Program of China (973 Program)(2013CB834203)
- DOI：10.11959/j.issn.2096-109x.2017.00175
  中图分类号： TP309
- 网络首发：2017-07，
  
  纸质出版：2017-07-15
- 稿件说明：
移动端阅览
韩亚. 自动化搜索ARX分组密码不可能差分与零相关线性闭包[J]. 网络与信息安全学报, 2017,3(7):58-63.

Ya HAN. Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers[J]. Chinese Journal of Network and Information Security, 2017, 3(7): 58-63.
韩亚. 自动化搜索ARX分组密码不可能差分与零相关线性闭包[J]. 网络与信息安全学报, 2017,3(7):58-63. DOI： 10.11959/j.issn.2096-109x.2017.00175.

Ya HAN. Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers[J]. Chinese Journal of Network and Information Security, 2017, 3(7): 58-63. DOI： 10.11959/j.issn.2096-109x.2017.00175.

摘要

首先，构造了ARX分组密码差分特征及线性掩码的传播方程；然后，利用SAT求解器求解传播方程并且判定该传播系统是否为有效传播；最后，遍历差分特征及线性掩码自动化搜索不可能差分及零相关线性闭包。利用该算法搜索TEA、XTEA和SIMON的不可能差分与零相关线性闭包，并得到TEA、XTEA及SIMON 族分组密码的最优不可能差分与零相关线性闭包。此外，利用差分以及线性分布表，该算法能有效搜索基于S盒分组密码的不可能差分及零相关线性闭包。

Abstract

Firstly

the differences and linear masks propagation equations of ARX ciphers were established.Secondly

the propagation equations were solved by SAT solver and judged valid or not.Finally

differences and linear masks were traversed to search impossible differentials and zero-correlation linear hulls automatically.The proposed algorithm was applied to TEA

XTEA and SIMON family block ciphers.The optimal impossible differentials and zero-correlation linear hulls for TEA

XTEA and SIMON family block ciphers were proposed.Moreover，with DDT and LAT

the algorithm can also be applied to search the impossible differentials and zero-correlation linear hulls of S-box based block ciphers.

关键词

Keywords

references

KNUDSEN L R . Deal - a 128 bit block cipher [J ] . Complexity , 2004 .

BIHAM E , BIRYUKOV A , SHAMIR A . Cryptanalysis of skipjack reduced to 31 rounds using impossible differentials [C ] // Advances in Cryptology — EUROCRYPT ’99 . 1999 : 12 - 23 .

BIHAM E , BIRYUKOV A , SHAMIR A . Miss in the middle attacks on IDEA and Khufu [C ] // The International Workshop on FAST Software Encryption . 1999 : 124 - 138 .

PHAN C W . Impossible differential cryptanalysis of 7-round advanced encryption standard(AES) [J ] . Information Processing Letters , 2004 , 91 ( 1 ): 33 - 38 .

LU J , DUNKELMAN O , KELLER N , et al . New impossible differential attacks on AES [C ] // Progress in Cryptology-INDOCRYPT . 2008 : 279 - 293 .

BOURA C , NAYA-PLASENCIA M , SUDER V . Scrutinizing and improving impossible differential attacks:applications to CLEFIA,camellia,lblock and simon [C ] // The International Conference on the Theory and Application of Cryptology and Information Security . 2014 : 179 - 199 .

CHEN J , FUTA Y , MIYAJI A , et al . Improving impossible differential cryptanalysis with concrete investigation of key scheduling algorithm and its application to lblock [C ] // The 8th International Conference on Network and System Security . 2014 : 184 - 197 .

BOGDANOV A , RIJMEN V . Linear hulls with correlation zero and linear cryptanalysis of block ciphers [J ] . Designs Codes ＆Cryptography , 2014 , 70 ( 3 ): 369 - 383 .

YI W T , CHEN S Z . Improved integral and zero-correlation linear cryptanalysis of reduced-round CLEFIA block cipher [J ] . IACR Cryptology ePrint Archive , 2016 : 149 .

SOLEIMANY H , NYBERG K . Zero-correlation linear cryptanalysis of reduced-round LBlock [J ] . Designs Codes ＆Cryptography , 2014 , 73 ( 2 ): 683 - 698 .

XU H , JIA P , HUANG G , et al . Multidimensional zero-correlation linear cryptanalysis on 23-round LBlock-s [M ] // Information and Communications Security . Berlin : SpringerPress , 2015 .

ZHANG K , GUAN J , HU B , et al . Security evaluation on simeck against zero correlation linear cryptanalysis [J ] . IACR Cryptology ePrint Archive , 2015 .

KIM J , HONG S , SUNG J , et al . Impossible differential cryptanalysis for block cipher structures [C ] // The 4th International Conference on Cryptology . 2003 : 82 - 96 .

LUO Y , LAI X , WU Z , et al . A unified method for finding impossible differentials of block cipher structures [J ] . Information Sciences , 2014 , 263 ( 1 ): 211 - 220 .

WU S , WANG M . Automatic search of truncated impossible differentials for word-oriented block ciphers [C ] // The International Conference on Cryptology . 2012 : 283 - 302 .

LIPMAA H , MORIAI S . Efficient algorithms for computing differential properties of addition [C ] // The 8th International Workshop on Fast Software Encryption . 2001 : 336 - 350 .

WALLÉN J , . Linear approximations of addition modulo 2n [C ] // The 10th International Workshop on Fast Software Encryption(2003) . 2003 : 261 - 273 .

KÖLBL S , LEANDER G , TIESSEN T . Observations on the SIMON block cipher family [C ] // Advances in Cryptology - CRYPTO . 2015 : 161 - 185 .

WHEELER D J , NEEDHAM R M . Tea,a tiny encryption algo-rithm [M ] // Fast Software Encryption . Berlin : SpringerPress , 1994 : 363 - 366 .

BEAULIEU R , SHORS D , SMITH J , et al . The simon and speck families of lightweight block ciphers [J ] . IACR Cryptology ePrint Archive , 2013 ( 6 ): 404 .

浏览量

1995

下载量

CSCD

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

提交

工具集

关联资源

基于SAT方法进一步加速差分特征的搜索