X-Policy : knowledge-based verification tool for dynamic access control policies by Hasan Qunoo. Published by School of Computer Science, University of Birmingham in 2011. Publication and catalogue information, links to buy online and reader comments.