Programas por obol.sf.net

O obol é uma linguagem de programação para protocolos de segurança. A ideia é programar mais perto das abstrações usadas para descrever e analisar protocolos de segurança, deixando detalhes de baixo nível, como representação