图拉法勒 swMATH ID: 986 软件作者: 卡尔蒂基扬·巴尔干;Fornet,塞德里克;安德鲁·戈登(Andrew D.Gordon)。;里卡多·普切拉 描述: TulaFale:web服务的安全工具。Web服务安全规范通常表示为XML模式、示例消息和叙述性解释的混合体。我们提出了一种新的规范语言,用于编写基于SOAP的安全协议及其属性的补充机器可检查描述。我们的TulaFale语言基于pi演算(用于编写并行运行的SOAP处理器集合)、XML语法(用于表示SOAP消息传递)、逻辑谓词(用于构造和过滤SOAP消息)和对应断言(用于指定协议的身份验证目标)。我们的实现将TulaFale编译成应用的pi演算,然后运行Blanchet的基于分辨率的协议验证器。因此,我们可以自动验证SOAP协议的身份验证属性。 主页: http://rd.springer.com/chapter/10.1007/978-3-540-30101-1_9 相关软件: Spi2Java软件;ProVerify公司;AVISPA公司;阿斯毫升;ASPIER公司;EasyCrypt公司;XPath(XPath);X减少;CDuce公司;XPi公司;灵活;乔坎尔;皮杜克;AGVI公司;卡斯珀;水龙头 引用于: 12文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 TulaFale:web服务的安全工具。 Zbl 1104.68306号卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;里卡多·普切拉 2004 全部的 前5名28位作者引用 4 安德鲁·戈登。 三 卡尔蒂基扬·巴尔干 三 塞德里克·Fornet 2 Yannick骑士 2 丹尼斯·卢吉兹 2 米歇尔·鲁西诺维奇 1 迈克尔·巴克斯 1 布鲁诺·布兰切特 1 马塞洛·玛丽亚·邦桑格 1 约翰·博格斯特罗姆 1 萨缪尔·卡皮内蒂 1 德波尔(Frank S。 1 威廉·鲍尔·德·罗弗 1 苏珊娜·格拉芙 1 詹姆斯·约翰逊(James E.Johnson)。 1 埃尔达尔·克莱纳 1 莱斯利·兰波特 1 科西莫·拉内夫 1 David E.Langworthy。 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 卢卡·帕多瓦尼 1 比吉特普菲茨曼 1 安德鲁·菲利普斯 1 里卡多·普切拉 1 安德鲁·威廉·罗斯科 1 谢霆锋(Stephen Tse) 1 卢卡·维甘诺 1 弗里德里希·沃格特。 4篇连载文章中引用 1 理论计算机科学 1 计算机程序设计科学 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 在3个字段中引用 12 计算机科学(68至XX) 4 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 按年份列出的引文