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
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)