Obol, güvenlik protokolleri için bir programlama dilidir. Amaç, güvenlik protokollerini tanımlamak ve analiz etmek için kullanılan soyutlamalara daha yakın program yapmak ve ileti gösterimi, iletişim, kripto gibi düşük düzeyli ayrıntıları çalışma süresine bırakmaktır.
sürüm geçmişi
- Sürüm 2009-03-28-snap tarihinde gönderildi 2009-03-28
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm 2009-03-28-snap tarihinde gönderildi 2009-03-28
Program Detayları
- Kategori: Güvenlik ve Gizlilik > Diğer
- Yayımcı: obol.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 2009-03-28
- Platform: windows