Computability Classes for Enforcement Mechanisms (2003)

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

Active Bibliography

5 SECURITY POLICY ENFORCEMENT BY AUTOMATED PROGRAM-REWRITING – Kevin W. Hamlen - 2006
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
89 A Type System for Expressive Security Policies – David Walker - 2000
9 Proof Linking: A Modular Verification Architecture for Mobile Code Systems – Philip W. L. Fong - 2004
Enforceable Security Policies 1 – Fred B. Schneider - 1998
10 Enforcing Safety Properties Using Type Specialization – Peter Thiemann - 2000
91 A Language-Based Approach to Security – Fred B. Schneider, Greg Morrisett, Robert Harper - 2000
1 Language-Based Security for Malicious Mobile Code – Fred B. Schneider, Dexter Kozen, Greg Morrisett, Andrew C. Myers
25 Run-time Enforcement of Nonsafety Policies – Jay Ligatti, Lujo Bauer, David Walker
Silicon Valley – Úlfar Erlingsson, Mihai Budiu, Martín Abadi, George C. Necula, Michael Vrable
209 SASI Enforcement of Security Policies: A Retrospective – Ulfar Erlingsson , Fred B. Schneider - 2000
112 Fine-grained dynamic instrumentation of commodity operating system kernels – Ariel Tamches, Barton P. Miller - 1999
Making distributed computation secure by construction – Lantian Zheng - 2007
Separating Access Control Policy, – Enforcement And Functionality, Robert Grimm, Brian N. Bershad - 2001
25 Trustless grid computing in ConCert – Bor-yuh Evan Chang, Karl Crary, Margaret Delap, Robert Harper, Jason Liszka, Tom Murphy Vii, Frank Pfenning - 2002
Project Description – We Propose To
28 Language-Based Security – Dexter Kozen - 1999
Typed Intermediate Languages – Stephen Tse, Stephen Tse
6 Malicious code detection for open firmware – Frank Adelstein, Matt Stillerman - 2002