PDA - The Protocol Derivation Assistant

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

Pda 为安全协议的派生方法提供了工具支持。协议、模型和安全属性通过图形用户界面输入。Pda 支持对协议及其模型的改进和增量正确性证明。

版本历史记录

  • 版本 N/A 发布于 2011-08-09
    若干修复和更新
  • 版本 N/A 发布于 2011-08-09

软件信息