×

图拉法勒

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 亚尼克·骑士
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）

按年份列出的引文