Computability Classes for Enforcement Mechanisms
MetadataShow full item record
Hamlen, Kevin W.; Morrisett, Greg; Schneider, Fred B.
A precise characterization of those security policies enforceable by program rewriting is given. This characterization exposes and rectifies problems in prior work on execution monitoring, yielding a more precise characterization of those security policies enforceable by execution monitors and a taxonomy of enforceable security policies. Some but not all classes can be identified with known classes from computational complexity theory.
computer science; technical report
Previously Published As