{"inproceedings":{"@attributes":{"key":"conf\/cpp\/St-MartinF16","mdate":"2018-11-06"},"author":["Michel St-Martin","Amy P. Felty"],"title":"A verified algorithm for detecting conflicts in XACML access control rules.","pages":"166-175","year":"2016","booktitle":"CPP","ee":"https:\/\/doi.org\/10.1145\/2854065.2854079","crossref":"conf\/cpp\/2016","url":"db\/conf\/cpp\/cpp2016.html#St-MartinF16"}}