Program menurut obol.sf.net

Obol adalah bahasa pemrograman untuk protokol keamanan. Idenya adalah untuk memprogram lebih dekat dengan abstraksi yang digunakan untuk menggambarkan dan menganalisis protokol keamanan, meninggalkan detail tingkat rendah sep