×

图拉法勒

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文件

按年份列出的引文