@InProceedings{garg+:esorics06,
  author = 	 {Deepak Garg and Lujo Bauer and Kevin D. Bowers and Frank Pfenning and Michael K. Reiter},
  title = 	 {A linear logic of authorization and knowledge},
  booktitle =    {Computer Security---ESORICS 2006: 11th European Symposium on Research in Computer Security},
  month =        sep,
  series =       {Lecture Notes in Computer Science},
  volume =       4189,
  pages =        {297--312},
  year = 	 {2006},
  doi =          {10.1007/11863908_19},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2006/esorics2006-full.pdf},
  note =         {<a href="https://www.ece.cmu.edu/~lbauer/papers/2006/esorics2006.pdf">Official, slightly abbreviated version</a>.},
  copyright =    {Springer-Verlag},
  publisher =    {Springer},
}