Obol は、セキュリティ プロトコルのプログラミング言語です。このアイデアは、セキュリティ プロトコルの記述と分析に使用される抽象化に近いプログラムを作成し、メッセージ表現、通信、暗号などの低レベルの詳細をランタイムに残すことを考えています。
バージョン履歴
- バージョン 2009-03-28-snap に転記 2009-03-28
いくつかの修正と更新 - バージョン 2009-03-28-snap に転記 2009-03-28
プログラムの詳細
- カテゴリ: セキュリティとプライバシー > 他
- パブリッシャー: obol.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 2009-03-28
- プラットフォーム: windows