A verified algorithm for detecting conflicts in XACML access control rules. - Michel St-Martin; Amy P. Felty (CPP, 2016)