Tarafından Programlar obol.sf.net

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üzeyl