Tech Report CS-05-05

The Soundness and Completeness of Margrave with Respect to a Subset of XACML

Micheal Matthew Greenberg, Casey Marks, Leo Alexander Meyerovich, and Michael Carl Tschantz

April 2005


Provides a natural semantics for a subset of XACML, a language for the specification of access-control policies. Presents the key algorithm of Margrave, a tool for analyzing XACML policies. Proves the soundness and completeness of the algorithm with respect to the subset of XACML.

(complete text in pdf)