Programas por obol.sf.net

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 de