The Design and Implementation of Obol

03.03.2004

Abstract
Obol is a special purpose programming language for the implementation of security protocols. It has been designed with the success of the BAN logic in mind. In particular, the language mimics the representation used to express protocols before idealization.

Obol is a high level language, and, in most cases, it is straight forward to convert a protocol description into Obol. The Obol program can then execute the protocol directly.

Obol is well suited for experimenting with security protocol design.

The Obol runtime, named Lobo, has been implemented; we present the implementation and discuss the design.

We run several well known protocols to justify the approach.