Obol is a specialized high-level programming
language for security protocols. The idea is to
program closer to the abstractions used to
describe and analyze security protocols, and leave
all the nasty details to the language's runtime.
The runtime will then handle "mundane" issues
such as message representation, communication,
cryptographic transformations and so on. The
language is interpreted, and the runtime written
in Java.
