Michel St-Martin, Amy P. Felty: A verified algorithm for detecting conflicts in XACML access control rules. CPP 2016: 166-175