Changes between Initial Version and Version 1 of DocumentationRT0

Timestamp:

May 15, 2013 1:48:55 PM (11 years ago)

Author:

Mei

Comment:

--

DocumentationRT0

@@ +1 @@
+[[TOC]]
+
+== Overview ==
+ * [source:/doc/design@mei_rt0 System design]
+ * [source:/doc/API@mei_rt0 libabac API]
+ * [wiki:creddyRT0 creddy]
+ * [source:/doc/names@mei_rt0 Rules about role names]
+ * [source:/doc/usage_scenario@mei_rt0 Usage scenario]
+ * [source:/doc/keystore@mei_rt0 Keystore format]
+ * [source:/doc/partial_proof@mei_rt0 Partial proof]
+ * [source:/doc/ChangeLog@mei_rt0 ChangeLog]
+ * [source:/doc/attributeXML@mei_rt0 Attribute XML format]
+
+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]
+  * [source:/examples/example_scripts/java/prover_test.java@mei_rt0 Java]
+ * Get keyid from a 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]
+  * [source:/examples/example_scripts/java/abac_attr.java@mei_rt0 Java]
+
+
+