![](/statics/img/blank.png)
PDA - The Protocol Derivation Assistant
軟體性質: 免費 檔案大小: N/A
使用者評分: 5.0/5 - 1 評分
請稍候,您的下載連結正在檢測惡意內容。
您將能夠在 5 秒內下載。
您將能夠在 5 秒內下載。
關於 PDA - The Protocol Derivation Assistant
Pda 為安全協定的派生方法提供了工具支援。協定、模型和安全屬性通過圖形使用者介面輸入。Pda 支援對協定及其模型的改進和增量正確性證明。