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

doi:10.3969/j.issn.0372-2112.2013.11.032

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

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

彭昌勇^1,2, 朱创营³, 黄莉⁴, 祝跃飞¹, 王靳辉²

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-yong^1,2, ZHU Chuang-ying³, HUANG Li⁴, ZHU Yue-fei¹, WANG Jin-hui²

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)

摘要/Abstract

摘要： 本文给出了分组密码的新的分析方法：形式化函数分析，即通过符号计算将密文形式地表示为明文和密钥的函数.作为应用本文给出了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.

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

中图分类号:

TN918

彭昌勇, 朱创营, 黄莉, 等. 对分组密码的形式化函数分析及其应用[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.

参考文献

[1] M E Hellman,R.Merkle,R.Schroppel,L Washington,W Diffe,S Pohlig,P Schweitzer.Results of an Initial Attempt to cryptanalyze the NBS Data Encryption Standard[R].Stanford Univercity:Technical Report,SEL 76-042,1976.3-10.
[2] Ingrid Schaumuller-Bichl.Zur Analyse DES Data Encryption Standard UndSynthese Verwandter Chiffriersysteme[D].Linz University,1981.17-27.
[3] I Schaumuller-Bichl.Cryptanalysis of the data encryption standard by the method of formal coding[A].David Chaum.Advances in Cryptology,Proceedings of CRYPTO 1983[C].USA:Springer-Verlag,LNCS 149,1983.235-255.
[4] Wenling Wu,Lei Zhang.LBlock:A lightweight block cipher[A].2011 9th International Conference on Applied Cryptography and Network Security[C].Spain:Springer-Verlag,LNCS 6715,2011.327-344.
[5] 张文英,刘祥忠.对基于NLFSR分组密码KTANTAN32的相关密钥中间相遇代数攻击[J].电子学报,2012,40(10):2097-2100. Zhang Wen-ying,Liu Xiang-zhong.An related-key meet-in-the-middle algebraic attack on the NLFSR based block cipher KTANTAN32[J].Acta Electronica Sinica,2012,40(10):2097-2100.(in Chinese)
[6] 李昕,林东岱.对Bivium流密码的变元猜测代数攻击[J].电子学报,2011,39(8):1727-1732. Li Xin,Lin Dong-dai.Guessing specific variables in algebraic attacks on bivium[J].Acta Electronica Sinica,2011,39(8):1727-1732.(in Chinese)
[7] 唐学海,孙兵,李超.对8轮CLEFIA算法的一种现实攻击[J].电子学报,2011,20(7):1608-1612. Tang Xue-hai,Sun Bing,Li Chao.A real-world attack of 8-round CLEFIA[J].Acta Electronica Sinica,2011,20(7):1608-1612.(in Chinese)
[8] Izadi,M Sadeghiyan,B Sadeghian,S Khanooki.MIBS:A new lightweight block cipher[A],Otsuka,Akira.2009 8th International Conference on Cryptology and Network Security[C].Japan:Springer-Verlag,LNCS 5888,2009.334-348.
[9] Guo J,Peyrin T,Poschmann A,Robshaw M.The LED block cipher[A].2011 Workshop on Cryptographic Hardware and Embedded Systems[C].Japan:Springer-Verlag,LNCS 6917,2011.326-341.
[10] Nicolas T Courtois,Pouyan Sepehrdad,Petr Susil,Serge Vaudenay.ElimLin algorithm revisited[A].Fast Software Encryption 2012[C].Washington,DC:Springer-Verlag,LNCS 7549,2012.306-325.
[11] Ya Liu,Dawu Gu,Zhiqiang Liu,Wei Li.Impossible differential attacks on reduced-round LBlock[A].The 8th International Conference on Information Security Practice and Experience 2012[C].Hangzhou:Springer-Verlag,LNCS 7232,2012.97-108.
[12] Marine Minier,Maria Naya-Plasencia.A related key impossible differential attack against 22 rounds of the lightweight block cipher LBlock[J].Information Processing Letters,2012(112):624-629.
[13] Diffie,W,Hellman,M.Special feature exhaustive cryptanalysis of the NBS data encryption standard[J].Computer,10,1977:74-84.

[1]	王安, 谷睿, 丁瑶玲, 张雪, 袁庆军, 祝烈煌. 基于持续性故障的分组密码算法S盒表逆向分析[J]. 电子学报, 2023, 51(3): 537-551.
[2]	欧庆于, 罗芳, 吴晓平, 杨鹏. 基于电压毛刺故障扰动的分组密码安全性度量方法研究[J]. 电子学报, 2021, 49(3): 417-423.
[3]	马宿东, 金晨辉, 关杰. 一类ARIA型扩散结构分支数的研究[J]. 电子学报, 2020, 48(3): 449-455.
[4]	李航, 任炯炯, 陈少真. 减轮LEA密码算法的积分攻击[J]. 电子学报, 2020, 48(1): 17-27.
[5]	王念平. 一类分组密码变换簇抵抗线性密码分析的安全性评估[J]. 电子学报, 2020, 48(1): 137-142.
[6]	杜怡然, 南龙梅, 戴紫彬, 李伟. 可重构分组密码逻辑阵列加权度量模型及高能效映射算法[J]. 电子学报, 2019, 47(1): 82-91.
[7]	冯晓, 李伟, 戴紫彬, 马超, 李功丽. 面向分组密码的可重构异构多核并行处理架构[J]. 电子学报, 2017, 45(6): 1311-1320.
[8]	王寿成, 严迎建, 徐进辉. 基于流体系结构的高效能分组密码处理器研究[J]. 电子学报, 2017, 45(4): 937-943.
[9]	伊文坛, 田亚, 陈少真. 减缩轮PRIDE算法的线性分析[J]. 电子学报, 2017, 45(2): 468-476.
[10]	王寿成, 李功丽, 严迎建, 徐进辉. 面向分组密码的四维度并行处理架构研究[J]. 电子学报, 2017, 45(10): 2457-2463.
[11]	李浪, 李肯立, 贺位位, 邹祎, 刘波涛. Magpie:一种高安全的轻量级分组密码算法[J]. 电子学报, 2017, 45(10): 2521-2527.
[12]	王念平. 四分组类CLEFIA变换簇抵抗差分密码分析的安全性评估[J]. 电子学报, 2017, 45(10): 2528-2532.
[13]	郭建胜, 崔竞一, 罗伟, 刘翼鹏. CIKS-128分组算法的相关密钥-差分攻击[J]. 电子学报, 2016, 44(8): 1837-1844.
[14]	黄永洪, 郭建胜, 罗伟. LBlock算法的相关密钥-不可能差分攻击[J]. 电子学报, 2015, 43(10): 1948-1953.
[15]	高海英, 金晨辉, 张军琪. 基于卡方统计量的多差分攻击方法[J]. 电子学报, 2014, 42(9): 1775-1780.

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

Formal Function Cryptanalysis of Block Cipher and Its Application

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics