โปรแกรมตาม obol.sf.net

Obol เป็นภาษาการเขียนโปรแกรมสําหรับโพรโทคอลความปลอดภัย แนวคิดคือโปรแกรมที่ใกล้ชิดกับนามธรรมที่ใช้ในการอธิบายและวิเคราะห์โปรโตคอลความปลอดภัยทิ้งรายละเอียดระดับต่ําเช่นการแสดงข้อความการสื่อสาร crypto ไปยังรันไทม์