Programmi di obol.sf.net

Obol è un linguaggio di programmazione per protocolli di sicurezza. L'idea è di programmare più vicino alle astrazioni utilizzate per descrivere e analizzare i protocolli di sicurezza, lasciando dettagli di basso livello come