Changes between Version 31 and Version 32 of OldWikiStart


Ignore:
Timestamp:
Jul 2, 2012 5:36:10 PM (12 years ago)
Author:
Mei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • OldWikiStart

    v31 v32  
    1313 * libabac, a linkable C/C++ library
    1414 * Perl and Python bindings to libabac
    15  * a [wiki:JavaSupport native Java] reimplementation of libabac ????
    16  * an XML-RPC pre-prover
    1715 * creddy, a command line credential management tool
    1816 * abac_prover_yap, a rudimentary command line prover with YAP