Distributed proving in access-control systems. [PDF, BibTeX, ]Lujo Bauer, Scott Garriss, and Michael K. Reiter. In Proceedings of the 2005 IEEE Symposium on Security & Privacy, pages 81--95, May 2005. IEEE. © IEEE DOI:10.1109/SP.2005.9