迈克尔·巴克斯;塞巴斯蒂安·莫德谢姆;比吉特·普菲茨曼;卢卡·维甘诺 安全WS-ReliableMessaging场景的符号和密码分析。 （英语） Zbl 1180.68037号 Aceto，Luca（编辑）等人，《软件科学和计算结构基础》。2006年3月25日至31日在奥地利维也纳举行的第九届国际会议FOSSACS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33045-3/pbk）。计算机科学课堂讲稿3921428-445（2006）。 概述：Web服务是一系列重要的行业标准，用于为基于Web和基于XML的通信（尤其是企业间的通信）添加语义。与整个系列一样，安全标准和建议也是高度模块化的。几个标准的组合被放在一起作为互操作性场景进行测试，这些场景可能会演变成行业最佳实践。在安全研究术语中，互操作性场景对应于安全协议。因此，需要对其进行安全性分析。在本文中，我们分析了新的安全WS-ReliableMessaging场景的安全性，这是第一个将安全元素与另一个服务质量标准的元素相结合的场景。我们以符号和密码的方式进行这项工作。两种分析的结果都是积极的。本文对web服务安全的实际加密原语进行了讨论，这是一个独立感兴趣的新鲜事物。关于整个系列，请参见[兹伯利1103.68001]. 引用于1文件 MSC公司： 68英里11 互联网主题 68第25页 数据加密（计算机科学方面） 94A60型 密码学 软件：AVISPA公司;卡斯珀;图拉法勒 PDF格式BibTeX公司 XML格式引用 \textit{M.Backes}等人，Lect。注释计算。科学。3921428-445（2006年；Zbl 1180.68037） 全文： 内政部