1. Parameterized Communication.
- Author
-
Myrvang, Per Harald
- Subjects
- *
PROGRAMMING languages , *COMPUTER network protocols , *COMPUTER security , *REAL-time computing , *COMPUTER programming , *COMPUTER software development - Abstract
This article discusses the Obol protocol programming language that allows for testing and experimentation when constructing and using security protocols in real systems. An Obol program is called a script and describes a participant's role in the protocol. It provides features useful to the protocol programmer, such as control structures, interactivity and the use as a crypto coprocessor. Obol is also used by the GridKit project at the University of Lancaster in England to experiment with flexible security policies.
- Published
- 2006