Reports for Author "Ligatti, Jay"
- TR-776-07 - Fault-tolerant Typed Assembly Language (2007)
- 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-655-02 - A Calculus for Composing Security Policies (2002)
- TR-649-02 - More Enforceable Security Policies (2002)