×
徐志超;徐宏（Xu，Hong）;赖雪佳

改进了对广义Feistel密码的积分攻击。 （英文） Zbl 1500.94059号

刘哲（编辑）等，《信息安全与密码学》。第十五届国际会议，Inscrypt 2019，中国南京，2019年12月6-8日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12020, 463-479 (2020).
摘要：除法性质是由Y.托多【Lect.Notes Compute.Sci.9056，287–314（2015；Zbl 1370.94545号)]. 利用SAT和MILP等自动化工具，大大降低了按除法属性搜索积分微分器的复杂度。基于部门属性和自动化工具，B.羔羊肉等人【Des.Codes Cryptography 88，No.10，2207–2231（2020；Zbl 1458.94256号)]通过对密码的输入输出状态比特进行线性变换，得到了一个10轮的矩形积分微分器，比已知的积分微分器长一轮。本文通过考虑S盒的线性变换，进一步考虑了对广义Feistel结构分组密码（GFS密码）的改进积分攻击。以具有4位S盒的16分支GFS密码为例，使用这种改进的方法，可以将多个S盒的整数区分符轮增加一轮。结果表明，在设计相应的GFS密码时，还应考虑抵抗这种改进的积分攻击的能力。
关于整个系列，请参见[Zbl 1497.94002号].

MSC公司：

94A60型 密码学

关键词：

分割属性;坐;积分区分器;广义Feistel结构

引文：

兹比尔1370.94545;Zbl 1458.94256号

软件：

海绵状的;米多里;蛇
PDF格式BibTeX公司 XML格式引用
\textit{Z.Xu}等人，Lect。注释计算。科学。12020463-479（2020年；Zbl 1500.94059）
全文： 内政部

参考文献：

[1] Todo，Y.：通过广义积分性质进行结构评估。收录：Oswald，E.，Fischlin，M.（编辑）EUROCRYPT 2015。LNCS，第9056卷，第287-314页。斯普林格，海德堡（2015）。https://doi.org/10.1007/978-3-662-46800-5_12 ·Zbl 1370.94545号 ·doi:10.1007/978-3-662-46800-5_12
[2] Zhang，H.，Wu，W.：广义Feistel结构的结构评估以及在LBlock和TWINE中的应用。收录人：Biryukov，A.，Goyal，V.（编辑）INDOCRYPT 2015。LNCS，第9462卷，第218-237页。查姆施普林格（2015）。https://doi.org/10.1007/978-3-319-26617-6_12 ·Zbl 1377.94070号 ·文件编号：10.1007/978-3-319-26617-6_12
[3] Todo，Y.：完整MISTY1的整体密码分析。收录人：Gennaro，R.，Robshaw，M.（编辑）《密码》2015。LNCS，第9215卷，第413-432页。斯普林格，海德堡（2015）。https://doi.org/10.1007/978-3-662-47989-6_20 ·Zbl 1375.94158号 ·数字对象标识代码：10.1007/978-3-662-47989-6_20
[4] Todo，Y.，Morii，M.：基于位的除法属性及其在Simon家族中的应用。摘自：Peyrin，T.（编辑）FSE 2016。LNCS，第9783卷，第357-377页。斯普林格，海德堡（2016）。https://doi.org/10.1007/978-3-662-52993-5_18 ·Zbl 1387.94102号 ·doi:10.1007/978-3-662-52993-5_18
[5] Boura，C.，Canteaut，A.：分割财产的另一种观点。收录人：Robshaw，M.，Katz，J.（编辑）《密码》2016。LNCS，第9814卷，第654-682页。施普林格，海德堡（2016）。https://doi.org/10.1007/978-3-662-53018-4_24 ·Zbl 1378.94026号 ·doi:10.1007/978-3-662-53018-4_24
[6] Xiang，Z.、Zhang，W.、Bao，Z.，Lin，D.：应用MILP方法搜索6个轻量级分组密码的基于除法性质的积分区分符。收录人：Cheon，J.H.，Takagi，T.（编辑）ASIACRYPT 2016。LNCS，第10031卷，第648-678页。斯普林格，海德堡（2016）。https://doi.org/10.1007/978-3-662-53887-6_24 ·Zbl 1404.94120号 ·数字对象标识代码：10.1007/978-3-662-53887-6_24
[7] 孙，L.，王，W.，王，M.：自动搜索ARX密码的基于位的除法属性和基于字的除法特性。收录人：Takagi，T.，Peyrin，T.（编辑）《2017年亚洲期刊》。LNCS，第10624卷，第128-157页。施普林格，查姆（2017）。https://doi.org/10.1007/978-3-319-70694-8_5 ·1420.94097兹罗提 ·doi:10.1007/978-3-319-70694-85
[8] Eskandari，Z.，Kidmose，A.B.，Kölbl，S.，Tiessen，T.：轻松找到积分区分符。收件人：Cid，C.，Jacobson，M.J.（编辑）SAC 2018。LNCS，第11349卷，第115-138页。施普林格，海德堡（2019）。https://doi.org/10.1007/978-3-030-10970-7_6 ·Zbl 1447.94035号
[9] Derbez，P.，Fouque，P.-A.，Lambin，B.：线性等价S盒和除法属性。加密电子打印档案，2019/097（2019）·Zbl 1458.94256号
[10] Nyberg，K.：广义Feistel网络。收录人：Kim，K.，Matsumoto，T.（编辑）ASIACRYPT 1996。LNCS，第1163卷，第91-104页。斯普林格，海德堡（1996）。https://doi.org/10.1007/BFb0034838 ·Zbl 1004.94531号 ·doi:10.1007/BFb0034838
[11] 铃木，T.，Minematsu，K.：改进广义Feistel。摘自：Hong，S.，Iwata，T.（编辑）FSE 2010。LNCS，第6147卷，第19-39页。施普林格，海德堡（2010）。https://doi.org/10.1007/978-3-642-13858-4_2 ·兹比尔1279.94117 ·doi:10.1007/978-3642-13858-42
[12] 库克，S.A.：理论证明程序的复杂性。收录于：STOC 1971，第151-158页。ACM（1971）·Zbl 0253.68020号
[13] Biham，E.，Anderson，R.，Knudsen，L.：蛇：一种新的分组密码方案。收录：Vaudenay，S.（编辑）FSE 1998。LNCS，第1372卷，第222-238页。斯普林格，海德堡（1998）。https://doi.org/10.1007/3-540-69710-1_15 ·Zbl 1385.94015号 ·doi:10.1007/3-540-69710-1_15
[14] Banik，S.等人：Midori：低能分组密码。摘自：岩田，T.，Cheon，J.H.（编辑）亚洲密码2015。LNCS，第9453卷，第411-436页。斯普林格，海德堡（2015）。https://doi.org/10.1007/978-3-662-48800-3_17 ·Zbl 1382.94057号 ·doi:10.1007/978-3-662-48800-3_17
[15] Bogdanov，A.，Kneíević，M.，Leander，G.，Toz，D.，Varícñ，K.，Verbauwhede，I.：海绵：轻量级散列函数。收录：Preneel，B.，Takagi，T.（编辑）CHES 2011。LNCS，第6917卷，第312-325页。斯普林格，海德堡（2011）。https://doi.org/10.1007/978-3-642-23951-9_21 ·Zbl 1365.94406号 ·doi:10.1007/978-3-642-23951-9_21
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。