开发者 obol.sf.net

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