Changes between Version 8 and Version 9 of OldWikiStart

Timestamp:

Oct 1, 2010 2:03:25 PM (14 years ago)

Author:

Mike Ryan

Comment:

expand documentation

OldWikiStart

@@ -37 +37 @@
 Older versions available from http://abac.deterlab.net/src/
 
+= Installation =
+
+ * [source:/doc/INSTALL Installation instructions]
+ * [source:/doc/dependencies Software dependencies]
+
 = Documentation =
 
  * [source:/doc/design System design]
  * [source:/doc/API libabac API]
+ * [source:/doc/libcreddy_API libcreddy API]
  * [wiki:Creddy]
  * [source:/doc/usage_scenario Usage scenario]
@@ -50 +56 @@
  * [source:/examples/acme_rockets/README Simple Acme example]
  * [source:/examples/experiment_create/README More complex experiment creation]
+ * [source:/examples/acme_rockets_intersection/README Acme rockets with intersection node]
 
-= Installation =
-
- * [source:/doc/INSTALL Installation instructions]
- * [source:/doc/dependencies Software dependencies]
+Example code
+ * ABAC prover
+  * [source:/libabac/prover.c C]
+  * [source:/libabac/prover_plus.cc C++]
+  * [source:/swig/perl/abac_prover.pl Perl]
+  * [source:/swig/python/abac_prover.py Python]
+ * [source:/preprover/ XML-RPC pre-prover (Perl)]
+ * libcreddy
+  * Get keyid from a cert
+    * [source:/swig/perl/creddy_keyid.pl Perl]
+    * [source:/swig/python/creddy_keyid.py Python]
+  * [source:/swig/python/creddy_abac.py libcreddy and libabac integration (Python)]