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
6 matches found for Ligatti, Jay:
- Ligatti, Jay
- More Enforceable Security Policies, TR-649-02, June 2002
- A Calculus for Composing Security Policies, TR-655-02, August 2002
- 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
- Fault-tolerant Typed Assembly Language, TR-776-07, April 2007
