The Community for Technology Leaders
DARPA Information Survivability Conference and Exposition, (2003)
Washington, DC
Apr. 22, 2003 to Apr. 24, 2003
ISSN: 2003102155
ISBN: 0-7695-1897-4
pp: 117
Lujo Bauer , Princeton University
Michael A. Schneider , Princeton University
Edward W. Felten , Princeton University
Andrew W. Appel , Princeton University
ABSTRACT
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.
INDEX TERMS
null
CITATION

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.
doi:10.1109/DISCEX.2003.1194942
95 ms
(Ver 3.3 (11022016))