DARPA Information Survivability Conference and Exposition, (2003)
Apr. 22, 2003 to Apr. 24, 2003
Lujo Bauer , Princeton University
Michael A. Schneider , Princeton University
Edward W. Felten , Princeton University
Andrew W. Appel , Princeton University
We describe a system for access control on the web that is based on the ideas of proof-carrying authorization (PCA). Our system is implemented as modules that extend a standard web server and web browser to use PCA to control access to web pages. The web browser generates proofs mechanically by iteratively fetching proof components until a proof can be constructed. We provide for iterative authorization, by which a server can require a browser to prove a series of challenges. Our implementation includes a series of optimizations, such as speculative proving, and modularizing and caching proofs, and demonstrates that the goals of generality, flexibility, and interoperability are compatible with reasonable performance.
L. Bauer, M. A. Schneider, E. W. Felten and A. W. Appel, "Access Control on the Web Using Proof-carrying Authorization," DARPA Information Survivability Conference and Exposition,(DISCEX), Washington, DC, 2003, pp. 117.