Programas por obol.sf.net

Obol es un lenguaje de programación para protocolos de seguridad. La idea es programar más cerca de las abstracciones utilizadas para describir y analizar los protocolos de seguridad, dejando detalles de bajo nivel como repre