About:
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.

Author:
perm [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://www.pasta.cs.uit.no/~perm/Obol/
Zip:
http://www.pasta.cs.uit.no/~perm/Obol/files/oobol-snap-latest.zip

Trove categories: [change]

[Development Status]		3 - Alpha
[Environment]		Other Environment
[Intended Audience]		Other Audience
[License]		OSI Approved :: BSD License (original)
[Operating System]		OS Independent
[Programming Language]		Java
[Topic]		Scientific/Engineering, Security, Security :: Cryptography, Software Development, System :: Networking

Dependencies: [change]
No dependencies filed

 Branches

Branch	Version	Last release	License	URLs
Default	0.2007.01.19	19-Jan-2007	BSD License (original)

 Releases

Version	Focus	Date
0.2007.01.19	Minor bugfixes	19-Jan-2007 14:43
0.2007.01.05	Initial freshmeat announcement	05-Jan-2007 18:16