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
Abstract:
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)
| Page Owner: John Bazik | Last Modified: Fri Feb 9 17:44:32 2007 |