開發者 obol.sf.net

Obol 是安全協議的程式設計語言。其理念是更接近用於描述和分析安全協定的抽象，將低級詳細資訊（如消息表示、通信、加密）留給運行時。