开发者 pda.sf.net

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