DMCA
Abstract The design and implementation of Obol
BibTeX
@MISC{Stabell-kulø_abstractthe,
author = {Tage Stabell-kulø and Skogan Per and Harald Myrvang},
title = {Abstract The design and implementation of Obol},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
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 (e.g.: A → B: {NA, NB}KAB) 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. 1
