TulaFale 1.5

一个安全工具，Web服务

TulaFale的开发是一个新的规范语言编写托运的机器基于SOAP的安全协议及其属性的描述。 TulaFale是基于pi演算编写的SOAP处理器并行运行的集合，再加上XML语法表达SOAP消息，逻辑谓词（建造和过滤SOAP消息），和对应的神器出山:www.shenqi73.com断言（指定认证目标的协议）。

我们的实施应用pi演算编译TulaFale，然后运行布兰切特的决议为基础的协议验证器。因此，我们可以自动验证SOAP协议的认证和保密性。此版本包括我们最近发表的论文“安全会话的Web服务脚本，文档和示例的政策”和“验证Web服务的基于策略的安全性。”