@inproceedings{Power_et_al_2009,
  title = "On the construction and verification of self-modifying access control policies",
  author = "David Power and Mark Slaymaker and Andrew Simpson",
  year = "2009",
  booktitle = "Proceedings of Secure Data Management (SDM) 2009",
  pages = "107--121",
  publisher = "Spring-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5776",
}