開發者 pda.sf.net

Pda 為安全協定的派生方法提供了工具支援。協定、模型和安全屬性通過圖形使用者介面輸入。Pda 支援對協定及其模型的改進和增量正確性證明。