Projects / Obol

Obol

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.

Tags
Licenses
Operating Systems
Implementation

Recent releases

  •  28 Mar 2009 11:45

    Release Notes: A more robust REPL top-level interface was implemented. The source code was released.

    •  19 Jan 2007 14:43

      Release Notes: This release fixes Jar file trouble, robustness issues, and symbol property dereferencing.

      •  05 Jan 2007 18:16

        No changes have been submitted for this release.

        Screenshot

        Project Spotlight

        OpenStack4j

        A Fluent OpenStack client API for Java.

        Screenshot

        Project Spotlight

        TurnKey TWiki Appliance

        A TWiki appliance that is easy to use and lightweight.