| Title | Enforceable Security Policies |
| Publication Type | Journal Article |
| Year of Publication | 2000 |
| Authors | Schneider, Fred B. |
| Journal | ACM Trans. Inf. Syst. Secur. |
| Volume | 3 |
| Pagination | 30–50 |
| ISSN | 1094-9224 |
| Keywords | EM security policies, inlined reference monitors, proof carrying code, safety properties, SASI, security automata, security policies |
| Abstract | A precise characterization is given for the class of security policies enforceable with mechanisms that work by monitoring system execution, and automata are introduced for specifying exactly that class of security policies. Techniques to enforce security policies specified by such automata are also discussed. |
| URL | http://doi.acm.org/10.1145/353323.353382 |
| DOI | 10.1145/353323.353382 |
| Citation Key | Schneider:2000:ESP:353323.353382 |
Enforceable Security Policies