[[TOC]] == Overview == * [source:/doc/design@mei_rt0 System design] * [source:/doc/API@mei_rt0 libabac API] * [wiki:creddyRT0 creddy] * [source:/doc/role_names@mei_rt0 Rules about role names] * [source:/doc/usage_scenario@mei_rt0 Usage scenario] * [source:/doc/keystore@mei_rt0 Keystore format] * [source:/doc/ChangeLog@mei_rt0 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_rt0 Simple Acme example] * [source:/examples/creddy_prover_tests/experiment_create_rt0/README@mei_rt0 More complex experiment creation] * [source:/examples/creddy_prover_tests/acme_rockets_intersection_rt0/README@mei_rt0 Acme rockets with intersection node] == 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_rt0 C] * [source:/examples/example_scripts/perl/abac_prover.pl@mei_rt0 Perl] * [source:/examples/example_scripts/python/abac_prover.py@mei_rt0 Python] * Get keyid from an identity cert * [source:/examples/example_scripts/perl/abac_keyid.pl@mei_rt0 Perl] * [source:/examples/example_scripts/python/abac_keyid.py@mei_rt0 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_rt0 Python] * Preprover * [source:/preprover/@master XML-RPC pre-prover (Perl)]