Computability Classes for Enforcement Mechanisms (2003)

by Kevin W. Hamlen , Greg Morrisett , Fred B. Schneider
Venue:ACM Transactions on Programming Languages and Systems
Citations:90 - 17 self

Active Bibliography

4 SECURITY POLICY ENFORCEMENT BY AUTOMATED PROGRAM-REWRITING – Kevin W. Hamlen - 2006
SECURITY POLICY ENFORCEMENT BY AUTOMATED – Kevin Hamlen Ph. D - 2006
Harvard University and – Kevin W. Hamlen, Fred B. Schneider
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
THE INLINED REFERENCE MONITOR APPROACH TO SECURITY POLICY ENFORCEMENT – Úlfar Erlingsson Ph. D - 2004
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
478 Enforceable Security Policies – Fred B. Schneider
89 A Type System for Expressive Security Policies – David Walker - 2000
615 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995