@InProceedings{bgr07,
  author = 	 {Lujo Bauer and Scott Garriss and Michael K. Reiter},
  title = 	 {Efficient proving for practical distributed access-control systems},
  booktitle =    {Computer Security---ESORICS 2007: 12th European Symposium on Research in Computer Security},
  month =        sep,
  year = 	 {2007},
  pages =        {19--37},
  series =       {Lecture Notes in Computer Science},
  volume =       {4734},
  doi =          {10.1007/978-3-540-74835-9_3},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2007/esorics2007-proving.pdf},
  note =         {(Full version appears as <a href="https://www.ece.cmu.edu/~lbauer/papers/2007/forwardtr-revised.pdf">technical report CMU-CyLab-06-015R</a>.)},
  copyright =    {Springer-Verlag},
  publisher =    {Springer},
  keywords =     {access control, access-control logic, language-based security},
}