The Margrave Project

The current version of Margrave (version 3) corresponds to our LISA 2010 paper.
This version handles a rich first-order language of predicates in policies, supports first-order quantification in queries, supports several input languages (XACML 1, XACML 2, Cisco IOS router configurations, and Amazon AWS), and provides an interface for integrating additional policy languages.

Versions 1 and 2 of Margrave are still available (mainly for reproducability and reference).
These versions are deprecated by version 3 and are not supported:

Version 1 of Margrave corresponds to our ICSE 2005 paper. This tool handles rules with only propositional conditions, and has a limited query language.

Many papers have used the examples we provided for Margrave 1 as benchmarks.
Version 2 of Margrave offers limited support for XACML Condition elements, but is otherwise similar to Version 1.