Programy według obol.sf.net

Obol jest językiem programowania dla protokołów zabezpieczeń. Chodzi o to, aby program bliżej abstrakcji używane do opisywania i analizowania protokołów zabezpieczeń, pozostawiając niskiego poziomu szczegóły, takie jak reprez