Reports for Author "Bauer, Lujo"

TR-603-99 - Mechanisms for Secure Modular Programming in Java (1999-07-00)
Appel, Andrew W. / Felten, Edward W. / Bauer, Lujo
TR-638-01 - A Proof-Carrying Authorization System (2001-04-00)
Schneider, Michael A. / Felten, Edward W. / Bauer, Lujo
TR-649-02 - More Enforceable Security Policies (2002-06-00)
Walker, David / Bauer, Lujo / Ligatti, Jay
TR-655-02 - A Calculus for Composing Security Policies (2002-08-00)
Walker, David / Bauer, Lujo / Ligatti, Jay
TR-677-03 - Access Control for the Web via Proof-Carrying Authorization (Thesis) (2003-09-00)
Bauer, Lujo
TR-681-03 - Edit Automata: Enforcement Mechanisms for Run-time Security Policies (2003-05-00)
Walker, David / Bauer, Lujo / Ligatti, Jay
TR-699-04 - A Language and System for Composing Security Policies (2004-04-00)
Walker, David / Bauer, Lujo / Ligatti, Jay
TR-720-05 - Enforcing Non-safety Security Policies with Program Monitors (2005-01-00)
Walker, David / Bauer, Lujo / Ligatti, Jay