Programy według obol.sf.net
-
Obol Wolna
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