windows9download

You Here : Home > Linux

Obol prealpha

OS Support:


Publisher

Old version

Update:

March 28 2009

Download:

Obol prealpha


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.


Related Downloads


Software Tags

Obol Prealpha

Size : 211.2 KB

Next/Pre