Pda 為安全協定的派生方法提供了工具支援。協定、模型和安全屬性通過圖形使用者介面輸入。Pda 支援對協定及其模型的改進和增量正確性證明。
版本歷史記錄
- 版本 N/A 發佈於 2011-08-09
若干修復和更新 - 版本 N/A 發佈於 2011-08-09
軟體細節
- 軟體分類: 網路與互聯網 > 其他
- 發佈者: pda.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: windows
Pda 為安全協定的派生方法提供了工具支援。協定、模型和安全屬性通過圖形使用者介面輸入。Pda 支援對協定及其模型的改進和增量正確性證明。