@inproceedings{Power_et_al_2011,
  title = "Conformance checking of dynamic access control policies",
  author = "Power, D.~J. and Slaymaker, M.~A. and Simpson, A.~C.",
  year = "2011",
  booktitle = "Proceedings of the 13th International Conference on Formal Methods and Software Engineering ({ICFEM 2011})",
  pages = "227--242",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6255",
}