@inproceedings{GargAbadi07:modal,
  author = {Deepak Garg and Mart\'{i}n Abadi},
  title = {A Modal Deconstruction of Access Control Logics},
  booktitle = {Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2008)},
  year = {2008},
  address = {Budapest, Hungary},
  month = {April}
}