Efficient proving for practical distributed access-control systems.   [PDF, BibTeX, ]
Lujo Bauer, Scott Garriss, and Michael K. Reiter.
In Computer Security---ESORICS 2007: 12th European Symposium on Research in Computer Security, volume 4734 of Lecture Notes in Computer Science, pages 19--37, September 2007. Springer. (Full version appears as technical report CMU-CyLab-06-015R.) © Springer-Verlag  DOI:10.1007/978-3-540-74835-9_3