Associated article: Parameterized Communication
Unpublished source code accompanying the article by Per Harald Myrvang in which he presents Obol, a Lisp-like, domain-specific language for testing and experimenting with when constructing and using security protocols in real systems. This is the source code and related files for the language implementation. Requires UNZIP/PKUNZIP to extract.
Table Of Contents: Obol.jar API.java ReturnValue.java ScriptHandle.java testAPI.java testLooping.java testScript.java selftest.obol