Pda 为安全协议的派生方法提供了工具支持。协议、模型和安全属性通过图形用户界面输入。Pda 支持对协议及其模型的改进和增量正确性证明。
版本历史记录
- 版本 N/A 发布于 2011-08-09
若干修复和更新 - 版本 N/A 发布于 2011-08-09
软件信息
- 软件分类: 网络与互联网 > 其他
- 发布者: pda.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
Pda 为安全协议的派生方法提供了工具支持。协议、模型和安全属性通过图形用户界面输入。Pda 支持对协议及其模型的改进和增量正确性证明。