×

兹马思-数学第一资源

有限会话数和组合密钥的协议不安全性是NP完全的。(英语) Zbl 1042.68009
摘要:我们研究了有限数量会话(固定交错运行次数)下协议不安全问题的复杂性。我们证明了这个问题对于一个Dolev-Yao入侵者模型是NP完全的。结果不假设对消息大小有限制,并且支持非原子对称加密密钥。我们还证明,为了建立一个具有固定会话数的攻击,入侵者只需要伪造线性大小的消息,只要它们被表示为dag。

理学硕士:
68M12 网络协议
软件:
卡斯帕
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] R、 阿马迪奥,D.卢吉兹,关于密码协议中的可达性问题,in:Proc。CONCUR 2000,计算机科学讲座笔记,第1877卷,斯普林格,柏林,2000年·Zbl 0999.94538
[2] 《安全协议的惰性无限状态分析》,第30-42页
[3] 《电子商务协议的正式验证》,第133-146页
[4] 瑟维萨托一世。;北卡罗来纳州杜尔金。;林肯,P。;米切尔,J。;Scedrov,A.,协议分析的元符号,()·Zbl 1033.94513
[5] Y、 Chevalier,L.Vigneron,致力于安全协议的高效自动化验证,in:验证研讨会(VERIFY'01)(与IJCAR'01有关),意大利锡耶纳,2001年6月。
[6] Y、 Chevalier,L.Vigneron,一个用于安全协议惰性验证的工具,in:Proc。第16届IEEE国际会议。自动化软件工程会议,2001年11月26日至29日,美国圣地亚哥洛伊斯科罗纳多湾。
[7] J、 Clark,J.Jacob,《认证协议文献调查:1.0版》,1997年11月17日,网址。
[8] E、 M.Clarke,S.Jha,W.Marrero,使用状态空间探索和自然演绎式消息推导引擎来验证安全协议,in:Proc。IFIP编程概念和方法工作会议,1998年。
[9] H、 Comon,V.Cortier,J.C.Mitchell,单记忆树自动机,集合约束和乒乓协议,ICALP 2001,克里特岛,希腊,2001年7月8日至12日·Zbl 0986.68047
[10] G、 Denker,J.Meseguer,C.Talcott,《Maude协议规范与分析》,in:N.Heintze,J.Wing(编辑),Proc。正式方法和安全协议研讨会,1998年6月25日,印第安纳州印第安纳波利斯。
[11] G、 Denker,J.Millen,CAPSL综合协议环境,in:DARPA信息和生存能力会议和博览会(DISCEX'00),希尔顿海德,南卡罗来纳州,2000年1月25日至27日,IEEE计算机协会出版社,马里兰州银泉,第207-221页。
[12] 多列夫,D。;Yao,A.,关于公钥协议的安全性,IEEE trans。通知。《理论》,IT-29198-208,(1983),也可参考STAN-CS-81-8541981年5月,斯坦福大学·Zbl 0502.94005
[13] B、 Donovan,P.Norris,G.Lowe,使用Casper和FDR分析协议库,in:Proc。FMSP'99年版。
[14] N、 Durgin,P.Lincoln,J.Mitchell,A.Scedrov,有界安全协议的不可判定性正式方法和安全协议研讨会,1999年7月5日,意大利特伦托(FLOC'99的一部分)。
[15] S、 甚至,O.Goldreich,关于多方乒乓协议的安全性,技术报告285,以色列理工学院,1983年。
[16] 郭伯尔特,J.,《自动密码协议验证方法(扩展摘要)》,第977-984页
[17] A、 惠马,安全协议的有效无限状态分析,李察99,形式方法与安全协议研讨会,1999。
[18] 杰奎马尔,F。;Rusinovitch,M。;Vigneron,L.,编译和验证安全协议,(),30p
[19] Lowe,G.,Caspera compiler for analysis of security protocols,J.计算机。安全,6,1,53-84,(1998年)
[20] F、 Martinelli,认证协议描述和分析语言,in:Proc。ICTCS'98,世界科学出版社,新加坡,1998年。
[21] Meadows,C.,NRL协议分析仪概述,逻辑程序设计,26,2,113-131,(1996)·Zbl 0871.68052
[22] J、 Millen,CAPSL:通用认证协议规范语言,技术报告MP 97B48,MITRE公司,1997年。
[23] J、 Millen,V.Shmatikov,有界过程密码协议分析,计算机与通信安全ACM会议,2001年11月。
[24] Paulson,L.,《验证密码协议的归纳方法》,J.comput。安全,6,1,85-128,(1998年)
[25] 《利用CSP和FDR对密钥交换协议进行建模和验证》,第98-107页
[26] Rusinovitch,M。;《会话数有限的协议不安全是NP完全的,》,第174-187页
[27] S、 Schneider,用CSP验证身份验证协议,Proc。IEEE计算机安全基础,1997年第10期。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。