克莱纳，E。;A.W.罗斯科。 关于web服务安全性和传统协议之间的关系。 （英语） 兹比尔1273.68233 Escardó，M.（ed.）等人，《第21届编程语义数学基础年会论文集》，英国伯明翰伯明翰大学，2005年5月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记155，583-603（2006）。 概要：XML和web服务安全规范定义了将安全令牌合并到SOAP消息中的元素。我们提出了一种将此类消息映射到Dolev-Yao风格的抽象语法的方法，特别是Casper表示法。我们表明，这种翻译保留了缺陷和攻击。因此，我们为理论界在过去十年中开发的所有方法提供了一种方法，特别是Casper和FDR，用于分析用于分析WS-安全协议的密码协议。最后，我们演示了如何使用此技术来证明属性并发现对提议的Microsoft WS-SecureConversation协议的攻击。有关整个系列，请参见[Zbl 1272.68017号]. 引用于2文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68英里11 互联网主题 68个M12 网络协议 软件：图拉法勒 PDF格式BibTeX公司 XML格式引用 \textit{E.Kleiner}和\textit{A.W.Roscoe}，电子。注释Theor。计算。科学。155583--603（2006年；Zbl 1273.68233） 全文： 链接