![](/statics/img/blank.png)
PDA - The Protocol Derivation Assistant
许可: 免费 文件大小: N/A
用户评分: 5.0/5 - 1 评分
请稍候,您的下载链接正在检测恶意内容。
您将能够在 5 秒内下载。
您将能够在 5 秒内下载。
关于 PDA - The Protocol Derivation Assistant
Pda 为安全协议的派生方法提供了工具支持。协议、模型和安全属性通过图形用户界面输入。Pda 支持对协议及其模型的改进和增量正确性证明。