Atur cara mengikut obol.sf.net

Obol adalah bahasa pengaturcaraan untuk protokol keselamatan. Ideanya adalah untuk program lebih dekat dengan abstrak yang digunakan untuk menerangkan dan menganalisis protokol keselamatan, meninggalkan butiran peringkat rend