Access control for the Web via proof-carrying authorization.   [PDF, BibTeX, ]
Lujo Bauer.
Ph.D. Thesis, Princeton University, November 2003.