Title from cover.
Formal engineering of XACML access control policies in VDM++ by Jeremy Bryans. Published by University of Newcastle upon Tyne, Computing Science in 2007. Publication and catalogue information, links to buy online and reader comments.