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 是安全协议的编程语言。其理念是更接近用于描述和分析安全协议的抽象，将低级详细信息（如消息表示、通信、加密）留给运行时。