Pda は、セキュリティ プロトコルの派生アプローチに対するツールサポートを提供します。プロトコル、モデル、セキュリティプロパティは、グラフィカルユーザーインターフェイスを介して入力されます。Pda は、プロトコルとそのモデルの改良とインクリメンタルな正確性の証明をサポートします。
バージョン履歴
- バージョン N/A に転記 2011-08-09
いくつかの修正と更新 - バージョン N/A に転記 2011-08-09
プログラムの詳細
- カテゴリ: ネットワークとインターネット > 他
- パブリッシャー: pda.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows