Forgot your password?
The design and implementation of Obol
Document Actions
Tage Stabell-Kulø, Tåle Segtan Skogan and Per Harald Myrvang. Tech Report, Department of Computer Science. University of Tromsø.
Abstract
Obol is a special purpose programming language for the implementation of security protocols. It has been designed with the success of ban in mind. In particular, the language mimic the representation used to express protocols before idealization. Obol is a (very) high level language, and, in most cases, it is straight forward to convert a protocol expressed in the traditional notation into Obol. Obol is well suited for experimenting with security protocol design. The Obol runtime, named Lobo, has been implemented; the implementation is presented and the design discussed. Several well known protocols are run to justify the approach.
(PDF)
