A Proof-Carrying Authorization System.   [PDF, BibTeX, ]
Lujo Bauer, Michael A. Schneider, and Edward W. Felten.
Technical Report TR-638-01, Princeton University, April 2001.