Submit Software
  1. Home
  2. Windows
  3. Other
  4. Obol

Obol 2009-03-28

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

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.

VERSION HISTORY

  • Version 2009-03-28-snap posted on 2009-03-28
    Several fixes and updates
  • Version 2009-03-28-snap posted on 2009-03-28

Program Details

Related Programs

  • Action1 Add or Change Startup Program Free

    Windows OS automatically starts certain applications specified in each user profile upon logon. Adding a program to startup on Windows can assist in preparing user desktop at logon or pre-launching some applications to improv

  • Secured Sumatra PDF Free

    Secured Sumatra PDF is a modified version of Sumatra PDF aimed to be implemented in specially secured Terminal Server Environments like Citrix.

  • EyeLog Free

    EyeLog is a flexible and extensible log analyzer for any type of log file. It allows one to define custom regular expressions (perl-style) for pattern matching and custom printf formats for reporting. The goal is to provide a

  • gui4bdc Free

    gui4bdc is a graphical front end to Bit Defender Console, a virus scanner for Linux(available at http://www.bitdefender.com). It will aim to provide all of the functionality of the console utility in an easy-to-use, well-orga

  • TPM Device Driver Free

    Device driver to enable the TPM chip as described by specifications at http://www.trustedcomputinggroup.org.The TPM chip will enable you to use hardware to securely store and protect your keys and personal data. See also th

  • OpenSmartHome Free

    Open Smart Home is project which provide intelligent control interface for your home.

  • Easy-SEND Free

    Easy-SEND is an implementation of the SEND (SEcure Neighbor Discovery) protocol for IPv6. It is aimed to be used for learning and testing purposes. SEND is described in RFC 3971. Easy-SEND includes a tool (CGAGen) to generate

  • EasyCrypter Free

    EasyCrypter is JAVA application for data encryption. Encrypt your files in several easy steps.

  • StegTorrent Free

    A tool to hide BitTorrent metainfo (.torrent files) into and restore the same back from images (and other types of files) using steganographical methods, providing friendly GUI for the process.

  • MiniFW Free

    Linux distribution standing on a floppy: iptables, kernel 2.4.18, sshd support and easy to configure.