[[TOC]]

== Overview ==
 * [source:/doc/design@mei_rt2 System design]
 * [source:/doc/API@mei_rt2 libabac API]
 * [wiki:creddyRT2 creddy]
 * [source:/doc/names@mei_rt2 Rules about role and oset names]
 * [source:/doc/usage_scenario@mei_rt2 Usage scenario]
 * [source:/doc/keystore@mei_rt2 Keystore format]
 * [source:/doc/partial_proof@mei_rt1 Partial proof]
 * [source:/doc/ChangeLog@mei_rt2 ChangeLog]

All Java information can be found on the JavaSupport page.

== Examples ==

These and many other test examples are available in the source tree under examples/ 
 * [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 API Code ==

These are available in the source tree under examples/example_scripts/ (with READMEs).

 * ABAC prover
  * [source:/examples/example_scripts/c/abac_prover.c@mei_rt2 C]
  * [source:/examples/example_scripts/perl/abac_prover.pl@mei_rt2 Perl]
  * [source:/examples/example_scripts/python/abac_prover.py@mei_rt2 Python]
 * Get keyid from a cert
  * [source:/examples/example_scripts/perl/abac_keyid.pl@mei_rt2 Perl]
  * [source:/examples/example_scripts/python/abac_keyid.py@mei_rt2 Python]
 * Make an attribute cert
  * [source:/examples/example_scripts/c/abac_attr.c@mei_rt2 C]
  * [source:/examples/example_scripts/python/abac_attr.py@mei_rt2 Python]