软件名称：[B]TulaFale 1.5[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：2.15 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

一个安全工具，Web服务

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

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

要求：

·<框架

[url=http://www.sot9.com/soft/96954.html][B]TulaFale 1.5[/B][/url]

点这里下载->TulaFale 1.5 [ 下载地址 ]