@inproceedings{Power_et_al_2009,
  title = "On the construction and verification of self-modifying access control policies",
  author = "Power, D.~J. and Slaymaker, M.~A. and Simpson, A.~C.",
  year = "2009",
  booktitle = "Proceedings of the 6th {VLDB} Workshop on Secure Data Management ({SDM 2009})",
  pages = "107--121",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5776",
}