Atur cara mengikut obol.sf.net
-
Obol Percuma
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