Security
obol1.txt
Associated article: Parameterized Communication
Tags: Web Development .NET Security C/C++ Open Source Embedded Systems JVM Languages Design
Published 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. Also see OBOL2.ZIP and OOBOL.ZIP.
Parameterized Communication
by Per Harald Myrvang
Example 1:
(a)
(script "Server"
[input portNo number]
[returns data string]
[self portNo default :poolmode]
[format default]
(receive *client *data)
(believe data *data
((type string))))
(b)
(script "Client"
[input portNo number]
(...


