Programma's van obol.sf.net

Obol is een programmeertaal voor beveiligingsprotocollen. Het idee is om dichter bij de abstracties te programmeren die worden gebruikt om beveiligingsprotocollen te beschrijven en te analyseren, waardoor details op laag nive