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 seperti representasi pesan, komunikasi, kripto, hingga waktu proses.
Riwayat versi
- Versi 2009-03-28-snap diposting di 2009-03-28
Beberapa perbaikan dan pembaruan - Versi 2009-03-28-snap diposting di 2009-03-28
Detil Program
- Kategori: Keamanan & Privasi > Lain
- Penerbit: obol.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: 2009-03-28
- Platform: windows