×

图拉费

swMATH标识: 986
软件作者: 巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。;普塞拉,里卡多
说明: 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公司;普罗夫里夫;阿维斯帕;AsmL公司;阿斯皮尔;轻松;XPath;XDuce公司;涂片;XPi公司;轻率的;乔坎姆;皮杜;阿格维;卡斯帕;水龙头
引用于: 12种出版物

按年份列出的引文