A linear logic of authorization and knowledge.   [PDF, BibTeX, ]
Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, and Michael K. Reiter.
In Computer Security---ESORICS 2006: 11th European Symposium on Research in Computer Security, volume 4189 of Lecture Notes in Computer Science, pages 297--312, September 2006. Springer. Official, slightly abbreviated version. © Springer-Verlag  DOI:10.1007/11863908_19