Heuristic safety analysis of access control models

Peter Amthor, Winfried E. Kühnhauser, Anja Pölck. Heuristic safety analysis of access control models. In Mauro Conti, Jaideep Vaidya, Andreas Schaad, editors, 18th ACM Symposium on Access Control Models and Technologies, SACMAT '13, Amsterdam, The Netherlands, June 12-14, 2013. pages 137-148, ACM, 2013. [doi]

@inproceedings{AmthorKP13,
  title = {Heuristic safety analysis of access control models},
  author = {Peter Amthor and Winfried E. Kühnhauser and Anja Pölck},
  year = {2013},
  doi = {10.1145/2462410.2462413},
  url = {http://doi.acm.org/10.1145/2462410.2462413},
  researchr = {https://researchr.org/publication/AmthorKP13},
  cites = {0},
  citedby = {0},
  pages = {137-148},
  booktitle = {18th ACM Symposium on Access Control Models and Technologies, SACMAT '13, Amsterdam, The Netherlands, June 12-14, 2013},
  editor = {Mauro Conti and Jaideep Vaidya and Andreas Schaad},
  publisher = {ACM},
  isbn = {978-1-4503-1950-8},
}