Changes between Initial Version and Version 1 of DocumentationRT2


Ignore:
Timestamp:
Jul 2, 2012 4:51:51 PM (12 years ago)
Author:
Mei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • DocumentationRT2

    v1 v1  
     1[[TOC]]
     2
     3== Overview ==
     4 * [source:/doc/design@mei_rt2 System design]
     5 * [source:/doc/API@mei_rt2 libabac API]
     6 * [wiki:CreddyRT2]
     7 * [source:/doc/role_names@mei_rt2 Rules about role names]
     8 * [source:/doc/usage_scenario@mei_rt2 Usage scenario]
     9 * [source:/doc/keystore@mei_rt2 Keystore format]
     10 * ChangeLog
     11
     12All Java information can be found on the JavaSupport page.
     13
     14== Installation ==
     15
     16 * [source:/doc/INSTALL@mei_rt2 Installation instructions]
     17 * [source:/doc/dependencies@mei_rt2 Software dependencies]
     18
     19== Example Keystores ==
     20
     21These are also available in the source tree:
     22
     23 * [source:/examples/creddy_prover_tests/acme_rockets_rt0/README@mei_rt2 Simple Acme example]
     24 * [source:/examples/creddy_prover_tests/experiment_create_rt0/README@mei_rt2 More complex experiment creation]
     25 * [source:/examples/creddy_prover_tests/acme_rockets_intersection_rt0/README@mei_rt2 Acme rockets with intersection node]
     26 * [source:/examples/creddy_prover_tests/balltime_rt2/README@mei_rt2 RT2 example]
     27
     28== Example Code ==
     29 * ABAC prover
     30  * [source:/libabac/prover_yap.c@mei_rt2 C]