Program menurut obol.sf.net
-
Obol Gratis
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