Programmes par obol.sf.net

Obol est un langage de programmation pour les protocoles de sécurité. L’idée est de programmer plus près des abstractions utilisées pour décrire et analyser les protocoles de sécurité, laissant les détails de bas niveau tels