Margrave Examples

We have three examples complete with Margrave and XACML code:

simple college example: shows the syntax of Margrave;
full college example: instructive, gives an idea of how to use Margrave, found in Section 3 of "Verification and Change Impact Analysis of Access-Control Policies";
Continue example: large, shows the power of Margrave, found in Section 7 of "Verification and Change Impact Analysis of Access-Control Policies".

The Margrave query files are provided in both .scm and .txt formats. The .txt is for viewing online; .scm, for downloading and running. The XACML files are stored as .xml files and most browsers display them very nicely. If, however, your browser does not display the file correctly, you can download them then view them with a text viewer.