Obol 3.30
Developement by: Unknow
Description: Obol is a programming language for security protocols. The idea is to program closer to the abstractions used to describe and analyze security protocols, leaving low-level details such as message representation, communication, crypto, to the runtime.
Update Time: 2009-03-30
File Size: 210KB
Download Url: Obol.3.30.zip [Getlink]