×
马克斯·卡诺维奇;塔贾纳·班·基里金;Vivek Nigam先生;安德烈·斯克洛夫

有限内存协议。 （英文） Zbl 1308.68055号

计算。语言系统。结构。 40，第3-4号，137-154（2014）.
总结：众所周知，多列夫·姚的对手是一个强大的对手。除了充当网络、截取、分解、撰写和发送消息外，他还可以根据需要记住尽可能多的信息。也就是说，他的记忆是无限的。我们最近提出了一种较弱的多列夫·姚式对手，它也充当网络，但其记忆是有限的。我们展示了这个有界内存的Dolev-Yao对手，当获得足够的内存时，可以执行许多现有的协议异常。特别是，已知的异常出现于有限内存协议在这种情况下，尽管会话的总数是无限的，但并发会话的数量只有有限的，协议的诚实参与者不能记住无限数量的事实或一次记住无限数量不确定的Nonce。这就引出了一个问题，即是否有可能推断出Dolev-Yao对手所需的内存上的上界，从而从有界协议的内存限制中执行异常。本文否定地回答了这个问题（定理8）。

引用于2文件

MSC公司：

68第25页 数据加密（计算机科学方面）
68M10个 计算机系统中的网络设计和通信
68个M12 网络协议

关键词：

协议安全性;多列夫·姚的对手;保密问题;复杂性;不可判定性

软件：

莫德
PDF格式BibTeX公司 XML格式引用
\textit{M.Kanovich}等人，《计算》。语言系统。结构。40，编号3--4，137-154（2014；Zbl 1308.68055）
全文： 内政部

参考文献：

[3] 罗伯特·阿马迪奥（Roberto M.Amadio）。；丹尼斯·卢吉兹（Denis Lugiez）；Vanackère，Vincent，《关于密码函数过程的符号简化》，Theor Compute Sci，290，1695-740（2003）·Zbl 1051.68054号
[7] 亚尼克骑士；基斯特，拉尔夫；米夏·鲁西诺维奇；Turuani，Mathieu，用XOR实现协议不安全的NP决策程序，Theor Compute Sci，338，1-3，247-274（2005）·兹比尔1068.68057
[10] Cortier，Véronique公司；沃林斯基，博格丹；Zalinescu，Eugen，合成安全协议，（Biskup，Joachim；Lopez，Javier，ESORICS，计算机科学讲稿，第4734卷（2007），Springer），406-421
[11] 南希·杜金（Nancy A.Durgin）。；帕特里克·林肯；约翰·米切尔（John C.Mitchell）。；Scedrov，Andre，多集重写和有界安全协议的复杂性，计算安全杂志，12，2，247-311（2004）
[12] 多列夫，D。；Yao，A.，《关于公钥协议的安全性》，IEEE Trans-Inf理论，29，2，198-208（1983）·Zbl 0502.94005号
[13] 哈维尔·埃斯帕尔扎；尼尔森，莫根斯，Petri网的可决定性问题——一项调查，Bull EATCS，52，244-262（1994）·Zbl 0791.68123号
[15] 马克斯·卡诺维奇（Max I.Kanovich）。；Kirigin，Tajana Ban；Vivek Nigam；安德烈·斯克洛夫（Andre Scedrov）；卡罗琳·塔尔科特。；Perovic，Ranko，《受监管活动的改写框架》（Tiwari，Ashish，RTA，LIPIcs，第15卷（2012年），Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），305-322·Zbl 1364.68333号
[17] 马克斯·卡诺维奇（Max I.Kanovich）。；Kirigin，Tajana Ban；Vivek Nigam；Andre Scedrov，《有限内存协议和渐进式协作系统》，（Jason Crampton；Sushil Jajodia；Mayes，Keith，ESORICS，计算机科学讲稿，第8134卷（2013），Springer），309-326
[19] 马克斯·卡诺维奇（Max I.Kanovich）。；保罗·罗（Paul Rowe）；Andre Scedrov，《保密合作规划》，J Autom Reason，46，3-4，389-421（2011）·兹比尔1229.90072
[20] 凯瑟琳·梅多斯；普文德兰，拉达；巴甫洛维奇，杜斯科；Chang、Li Wu；Syverson，Paul F.，《距离边界协议验证逻辑分析和共谋攻击》，（Poovendran，Radha；Roy，Sumit；Wang，Cliff，《无线传感器和自组网的安全定位和时间同步》，《信息安全进展》，第30卷（2007），Springer），279-298
[21] 罗杰·尼达姆（Roger M.Needham）。；Michael D.Schroeder，《在大型计算机网络中使用加密进行身份验证》，Commun ACM，21，12，993-999（1978）·兹比尔0387.68003
[23] 米夏·鲁西诺维奇；Turuani，Mathieu，有限会话数和组合密钥的协议不安全是NP-complete，Theor Compute Sci，299，1-3，451-475（2003）·Zbl 1042.68009号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。