×

一种改进的二进制特征集算法及其在代数密码分析中的应用。 (英语) Zbl 1521.94064号

Gollmann,Dieter(编辑)等人,《应用密码学和网络安全》。2017年7月10日至12日在日本金泽举行的2017年ACNS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10355, 518-536 (2017).
摘要:在代数攻击对密码的有效性和多变量密码系统的安全性下,求解布尔多项式系统的有效方法。在各种多项式求解算法中,最近提出了二进制特征集算法来求解布尔多项式系统,包括那些由密码产生的系统。在本文中,我们提出了一些新的技术来增强现有的特征集求解器。具体来说,我们结合ElimLin过程并应用基本的统计学习技术来提高特征集算法的性能。我们的实验表明,我们的增强型求解器EBCSA在一些密码(包括CANFIL和PRESENT密码)上的性能优于现有的代数方法。与之前的攻击相比,我们还对PRINCE密码进行了第一次代数密码分析,并在更实际/更现实的环境中对Toyocrypt进行了代数攻击。
关于整个系列,请参见[Zbl 1366.94005号].

理学硕士:

94A60型 密码学

软件:

出席;普林斯
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] Patarin,J.:隐场方程(HFE)和多项式同构(IP):两个新的不对称算法家族。收录:Maurer,U.(编辑)EUROCRYPT 1996。LNCS,第1070卷,第33-48页。斯普林格,海德堡(1996)。doi:10.1007/3-540-68339-94·Zbl 1301.94125号
[2] Buchberger,B.:Ein algorithmus zum auffinden der basiselemente des restklassenrings nach einem nulldimensionalen多项式。奥地利因斯布鲁克大学博士论文(1965年)·Zbl 1245.13020号
[3] Faugere,J.C.:计算gröbner基的一种新的高效算法(f4)。J.纯应用。代数139(1),61-88(1999)·兹伯利0930.68174 ·doi:10.1016/S0022-4049(99)00005-5
[4] Faugere,J.C.:计算Gröbner基的一种新的高效算法,无需将其归零(F5)。摘自:ISSAC会议记录,ACM,第75-83页(2002年)·Zbl 1072.68664号
[5] Faugere,J.C.,Gianni,P.,Lazard,D.,Mora,T.:通过改变顺序高效计算零维Gröbner基。J.Symb。计算。16(4), 329-344 (1993) ·Zbl 0805.13007号 ·doi:10.1006/jsco.1993.1051
[6] Cox,D.、Little,J.、O'shea,D.:理想、多样性和算法,第3卷。施普林格,纽约(1992)·Zbl 0756.13017号 ·数字对象标识代码:10.1007/978-1-4757-2181-2
[7] Kipnis,A.,Shamir,A.:通过重新加密对HFE公钥密码系统进行密码分析。收录:Wiener,M.(编辑)《密码》1999年。LNCS,第1666卷,第19-30页。斯普林格,海德堡(1999)。doi:10.1007/3-540-48405-12·Zbl 0940.94012
[8] Courtois,N.,Klimov,A.,Patarin,J.,Shamir,A.:求解多变量多项式方程组的高效算法。收录:Preneel,B.(编辑)EUROCRYPT 2000。LNCS,第1807卷,第392-407页。斯普林格,海德堡(2000)。doi:10.1007/3-540-45539-6_27·兹比尔1082.94514 ·doi:10.1007/3-540-45539-6_27
[9] Courtois,N.T.,Pieprzyk,J.:具有超定义方程组的分组密码的密码分析。收录人:Zheng,Y.(编辑)ASIACRYPT 2002。LNCS,第2501卷,第267-287页。施普林格,海德堡(2002)。doi:10.1007/3-540-36178-2_17·Zbl 1065.94543号 ·doi:10.1007/3-540-36178-2_17
[10] Courtois,N.T.,Patarin,J.:关于XL算法玻璃纤维(2). 收录:Joye,M.(编辑)CT-RSA 2003。LNCS,第2612卷,第141-157页。斯普林格,海德堡(2003)。文件编号:10.1007/3-540-36563-X10·Zbl 1039.94511号 ·文件编号:10.1007/3-540-36563-X10
[11] Courtois,N.T.,Bard,G.V.:数据加密标准的代数密码分析。摘自:Galbraith,S.D.(编辑)《密码学与编码》2007。LNCS,第4887卷,第152-169页。斯普林格,海德堡(2007)。doi:10.1007/978-3-540-77272-9_10·Zbl 1154.94386号 ·doi:10.1007/978-3-540-77272-9_10
[12] Courtois,N.T.、Sepehrdad,P.、Sušil,P.和Vaudenay,S.:重新审视ElimLin算法。收录:Canteaut,A.(编辑)FSE 2012。LNCS,第7549卷,第306-325页。施普林格,海德堡(2012)。doi:10.1007/978-3-642-34047-5_18·Zbl 1282.94039号 ·doi:10.1007/978-3-642-34047-5_18
[13] Indesteege,S.、Keller,N.、Dunkelman,O.、Biham,E.、Preneel,B.:对KeeLoq的实际攻击。收录:Smart,N.(编辑)EUROCRYPT 2008。LNCS,第4965卷,第1-18页。施普林格,海德堡(2008)。doi:10.1007/978-3-540-78967-3_1·Zbl 1149.94322号 ·doi:10.1007/978-3-540-78967-3_1
[14] Nakahara Jr.,J.,Sepehrdad,P.,Zhang,B.,Wang,M.:分组密码存在的线性(Hull)和代数密码分析。收录人:Garay,J.A.、Miyaji,A.、Otsuka,A.(编辑)CANS 2009。LNCS,第5888卷,第58-75页。施普林格,海德堡(2009)。doi:10.1007/978-3-642-10433-6-5·Zbl 1287.94088号 ·doi:10.1007/978-3-642-10433-6_5
[15] Aubry,P.,Lazard,D.,Maza,M.M.:关于三角集理论。J.塞姆。计算。28(1), 105-124 (1999) ·Zbl 0943.12003号 ·doi:10.1006/jsco.1999.0269
[16] Kalkbrener,M.:计算代数簇三角表示的广义欧几里德算法。J.塞姆。计算。15(2), 143-167 (1993) ·Zbl 0783.14039号 ·doi:10.1006/jsco.1993.1011
[17] Fengjuan,C.,Xiao-Shan,G.,Chunming,Y.:求解布尔方程的特征集方法及其在流密码密码分析中的应用。J.系统。科学。复杂。21(2), 191-208 (2008) ·Zbl 1201.94080号 ·doi:10.1007/s11424-008-9103-0
[18] Huang,Z.,Sun,Y.,Lin,D.:关于用特征集方法求解布尔多项式系统的效率。arXiv预印本(2014)。arXiv:1405.4596
[19] Kohavi,R.等人:精度估计和模型选择的交叉验证和引导研究。国际Jt。Conf.Artif公司。智力。14(2), 1137-1145 (1995)
[20] Bogdanov,A.、Knudsen,L.R.、Leander,G.、Paar,C.、Poschmann,A.、Robshaw,M.J.B.、Seurin,Y.、Vikkelsoe,C.:目前:超轻量分组密码。收录:Paillier,P.,Verbauwhede,I.(编辑)CHES 2007。LNCS,第4727卷,第450-466页。斯普林格,海德堡(2007)。doi:10.1007/978-3-540-74735-2-31·Zbl 1142.94334号 ·doi:10.1007/978-3-540-74735-2-31
[21] Sepehrdad,P.:轻量级和超轻量级对称原语的统计和代数密码分析。博士论文,埃科尔POLYTECHNIQUE FéDéRALE DE LAUSANNE(2012)
[22] Borghoff,J.、Canteaut,A.、Güneysu,T.、Kavun,E.B.、Knezevic,M.、Knudsen,L.R.、Leander,G.、Nikov,V.、Paar,C.、Rechberger,C.、Rombouts,P.、Thomsen,S.S.、Yalçcon n,T.:PRINCE——普适计算应用的低延迟分组密码。收录人:Wang,X.,Sako,K.(编辑)2012年亚洲期刊。LNCS,第7658卷,第208-225页。施普林格,海德堡(2012)。doi:10.1007/978-3-642-34961-4_14·Zbl 1292.94035号 ·doi:10.1007/978-3-642-34961-4_14
[23] 波鸿,R.U.:王子挑战赛。https://www.emsec.rub.de/research/researc_startseite/prince-challenge/ (2014). 2017年1月18日访问
[24] Jean,J.、Nikolić,I.、Peyrin,T.、Wang,L.、Wu,S.:普林斯的安全分析。收录:Moriai,S.(编辑)FSE 2013。LNCS,第8424卷,第92-111页。斯普林格,海德堡(2014)。doi:10.1007/978-3-662-43933-36·Zbl 1321.94066号
[25] Dinur,I.:FX构造与PRINCE和PRIDE应用程序的密码分析时间-内存-数据权衡。收录:Oswald,E.,Fischlin,M.(编辑)EUROCRYPT 2015。LNCS,第9056卷,第231-253页。斯普林格,海德堡(2015)。doi:10.1007/978-3-662-46800-5_10·Zbl 1370.94504号
[26] Derbez,P.,Perrin,L.:《中间相遇攻击》(Meet-in-the-midle attacks)和《圆形PRINCE的结构分析》(structural analysis of round-reduced PRINCE)。在:Leander,G.(编辑)FSE 2015。LNCS,第9054卷,第190-216页。斯普林格,海德堡(2015)。doi:10.1007/978-3-662-48116-5_10·Zbl 1367.94308号 ·doi:10.1007/978-3-662-48116-5_10
[27] Canteaut,A.,Fuhr,T.,Gilbert,H.,Naya-Plasencia,M.,Reinhard,J.-R.:圆还原PRINCE的多重差分密码分析。收录人:Cid,C.,Rechberger,C.(编辑)FSE 2014。LNCS,第8540卷,第591-610页。斯普林格,海德堡(2015)。doi:10.1007/978-3-662-46706-0_30·Zbl 1382.94079号
[28] Canteaut,A.,Naya-Plasencia,M.,Vayssieère,B.:中观:改进的MITM攻击。收录人:Canetti,R.,Garay,J.A.(编辑)《密码》2013。LNCS,第8042卷,第222-240页。斯普林格,海德堡(2013)。doi:10.1007/978-3642-40041-4_13·Zbl 1310.94135号 ·doi:10.1007/978-3642-40041-4_13
[29] Mihaljevic,M.J.:toyocrypt-HS1流密码的密码分析。IEICE传输。芬丹。电子。Commun公司。计算。科学。85(1), 66-73 (2002)
[30] Courtois,N.T.,Meier,W.:对具有线性反馈的流密码的代数攻击。收录:Biham,E.(编辑)EUROCRYPT 2003。LNCS,第2656卷,第345-359页。施普林格,海德堡(2003)。doi:10.1007/3-540-39200-9_21·Zbl 1038.94525号 ·doi:10.1007/3-540-39200-9_21
[31] Zhang,A.,Lim,C.-W.,Khoo,K.,Wei,L.,Pieprzyk,J.:基于低阶零化子的立方体攻击的扩展。收录人:Garay,J.A.、Miyaji,A.、Otsuka,A.(编辑)CANS 2009。LNCS,第5888卷,第87-102页。斯普林格,海德堡(2009)。doi:10.1007/978-3-642-10433-6-7·Zbl 1287.94105号 ·doi:10.1007/978-3-642-10433-6-7
[32] Hawkes,P.,Rose,G.G.:重写变量:流密码快速代数攻击的复杂性。收录:Franklin,M.(编辑)《密码》2004。LNCS,第3152卷,第390-406页。施普林格,海德堡(2004)。doi:10.1007/978-3-540-28628-8_24·Zbl 1104.94023号 ·doi:10.1007/978-3-540-28628-8_24
[33] Armknecht,F.,Lano,J.,Preneel,B.:扩展再同步攻击。摘自:Handschuh,H.,Hasan,M.A.(编辑)SAC 2004。LNCS,第3357卷,第19-38页。斯普林格,海德堡(2004)。doi:10.1007/978-3-540-30564-42·Zbl 1117.94308号 ·doi:10.1007/978-3-540-30564-42
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。