Michel St-Martin, Amy P. Felty. A verified algorithm for detecting conflicts in XACML access control rules. In Jeremy Avigad, Adam Chlipala, editors, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016. pages 166-175, ACM, 2016. [doi]
Abstract is missing.