Obol 是安全協議的程式設計語言。其理念是更接近用於描述和分析安全協定的抽象,將低級詳細資訊(如消息表示、通信、加密)留給運行時。
版本歷史記錄
- 版本 2009-03-28-snap 發佈於 2009-03-28
若干修復和更新 - 版本 2009-03-28-snap 發佈於 2009-03-28
軟體細節
- 軟體分類: 安全和隱私 > 其他
- 發佈者: obol.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 2009-03-28
- 作業系統: windows
Obol 是安全協議的程式設計語言。其理念是更接近用於描述和分析安全協定的抽象,將低級詳細資訊(如消息表示、通信、加密)留給運行時。