Technical Reports
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
8 matches found for Bauer, Lujo:
- Bauer, Lujo
- Mechanisms for Secure Modular Programming in Java, TR-603-99, July 1999
- A Proof-Carrying Authorization System, TR-638-01, April 2001
- More Enforceable Security Policies, TR-649-02, June 2002
- A Calculus for Composing Security Policies, TR-655-02, August 2002
- Access Control for the Web via Proof-Carrying Authorization (Thesis), TR-677-03, September 2003
- Edit Automata: Enforcement Mechanisms for Run-time Security Policies, TR-681-03, May 2003
- A Language and System for Composing Security Policies, TR-699-04, April 2004
- Enforcing Non-safety Security Policies with Program Monitors, TR-720-05, January 2005
