Reports for Author "Ligatti, Jay"

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-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
TR-776-07 - Fault-tolerant Typed Assembly Language (2007-04-00)
August, David I. / Mackey, Lester / Reis, George A. / Perry, Frances / Walker, David / Ligatti, Jay