Reports for Author "Bauer, Lujo"
- TR-720-05 - Enforcing Non-safety Security Policies with Program Monitors (2005)
- TR-699-04 - A Language and System for Composing Security Policies (2004)
- TR-681-03 - Edit Automata: Enforcement Mechanisms for Run-time Security Policies (2003)
- TR-677-03 - Access Control for the Web via Proof-Carrying Authorization (Thesis) (2003)
- TR-655-02 - A Calculus for Composing Security Policies (2002)
- TR-649-02 - More Enforceable Security Policies (2002)
- TR-638-01 - A Proof-Carrying Authorization System (2001)
- TR-603-99 - Mechanisms for Secure Modular Programming in Java (1999)
