Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Formalisation and Implementation of the XACML Access Control Mechanism. In: Engineering Secure Software and Systems. Lecture Notes in Computer Science (7159). Springer, pp. 60-74. ISBN 978-3-642-28165-5 (2012)