Efficient proving for distributed access-control systems. [PDF, BibTeX, ]Lujo Bauer, Scott Garriss, and Michael K. Reiter. Technical Report CMU-CYLAB-06-015R, CyLab, Carnegie Mellon University, September 2006.