Formal Engineering of XACML Access Control Policies in VDM++.

Jeremy W. Bryans, John S. Fitzgerald

Browse the full ICFEM paper archive.