プログラム pda.sf.net

Pda は、セキュリティ プロトコルの派生アプローチに対するツールサポートを提供します。プロトコル、モデル、セキュリティプロパティは、グラフィカルユーザーインターフェイスを介して入力されます。Pda は、プロトコルとそのモデルの改良とインクリメンタルな正確性の証明をサポートします。