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

加密协议验证F＃

FS2PV开发私奔到一个验证工具，编译加密协议实现F＃的正式PI-演算模型的子集在一阶。此pi演算模型，然后可以分析ProVerif证明所需的安全属性，或者发现安全漏洞。

[url=http://www.sot9.com/soft/111063.html][B]FS2PV 1.0[/B][/url]

点这里下载->FS2PV 1.0 [ 下载地址 ]