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.

Many papers have used the examples we provided for Margrave 1 as benchmarks.

---

Versions 1 and 2 of Margrave are still available (mainly for reproducability and reference):

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

• Version 2 of Margrave offers limited support for XACML Condition elements, but is otherwise similar to Version 1.