[[TOC]]

== Overview ==
 * [source:/doc/design@mei_rt2 System design]
 * [source:/doc/API@mei_rt2 libabac API]
 * [wiki:CreddyRT2 creddy]
 * [source:/doc/role_names@mei_rt2 Rules about role names]
 * [source:/doc/usage_scenario@mei_rt2 Usage scenario]
 * [source:/doc/keystore@mei_rt2 Keystore format]
 * ChangeLog

All Java information can be found on the JavaSupport page.

== Installation ==

 * [source:/doc/INSTALL@mei_rt2 Installation instructions]
 * [source:/doc/dependencies@mei_rt2 Software dependencies]

== Example Keystores ==

These are also available in the source tree:

 * [source:/examples/creddy_prover_tests/acme_rockets_rt0/README@mei_rt2 Simple Acme example]
 * [source:/examples/creddy_prover_tests/experiment_create_rt0/README@mei_rt2 More complex experiment creation]
 * [source:/examples/creddy_prover_tests/acme_rockets_intersection_rt0/README@mei_rt2 Acme rockets with intersection node]
 * [source:/examples/creddy_prover_tests/balltime_rt2/README@mei_rt2 RT2 example]

== Example Code ==
 * ABAC prover
  * [source:/libabac/prover_yap.c@mei_rt2 C]
 * Get keyid from a cert
  * [source:/swig/perl/creddy_keyid.pl@mei_rt2 Perl]
  * [source:/swig/python/creddy_keyid.py@mei_rt2 Python]