卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;里卡多·普切拉 TulaFale:web服务的安全工具。 (英语) Zbl 1104.68306号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-22942-6/pbk)。计算机科学讲义3188197-222(2004)。 概述:Web服务安全规范通常表示为XML模式、示例消息和叙述性解释的混合。我们提出了一种新的规范语言,用于编写基于SOAP的安全协议及其属性的补充机器可检查描述。我们的TulaFale语言基于pi演算(用于编写并行运行的SOAP处理器集合)、XML语法(用于表示SOAP消息传递)、逻辑谓词(用于构造和过滤SOAP消息)和对应断言(用于指定协议的身份验证目标)。我们的实现将TulaFale编译成应用的pi演算,然后运行Blanchet的基于分辨率的协议验证器。因此,我们可以自动验证SOAP协议的身份验证属性。关于整个系列,请参见[Zbl 1060.68006号]. 引用于5文件 MSC公司: 68M10个 计算机系统中的网络设计和通信 64岁以下 分布式系统 68第25页 数据加密(计算机科学方面) 软件:图拉法勒 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,Lect。注释计算。科学。3188197-222(2004;Zbl 1104.68306) 全文: 内政部