Tags: Programming Language.

Obol is a high-level security protocol programming language at the Computer Science department of the University of Tromsø.It is essentially executable BAN logic i.e. it attempts to move the protocol implementation effort closer to the abstraction level where security protocols are analyzed.Thus it deals as little as possible with how messages are sent or represented and instead focuses on content and transformations (e.g.

Loading...

This page contains content from the copyrighted Wikipedia article "Obol (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.