Active Bibliography

Enforceable Security Policies 1 – Fred B. Schneider - 1998
9 Proof Linking: A Modular Verification Architecture for Mobile Code Systems – Philip W. L. Fong - 2004
576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
5 SECURITY POLICY ENFORCEMENT BY AUTOMATED PROGRAM-REWRITING – Kevin W. Hamlen - 2006
89 A Type System for Expressive Security Policies – David Walker - 2000
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
27 Enforcing non-safety security policies with program monitors – Jay Ligatti - 2005
25 Run-time Enforcement of Nonsafety Policies – Jay Ligatti, Lujo Bauer, David Walker
Separating Access Control Policy, – Enforcement And Functionality, Robert Grimm, Brian N. Bershad - 2001
91 A Language-Based Approach to Security – Fred B. Schneider, Greg Morrisett, Robert Harper - 2000
10 Enforcing Safety Properties Using Type Specialization – Peter Thiemann - 2000
52 Access control by tracking shallow execution history – Philip W. L. Fong - 2004
2 A Theory of Runtime Enforcement, with Results – Jay Ligatti, Srikar Reddy
Making distributed computation secure by construction – Lantian Zheng - 2007
37 Providing Fine-Grained Access Control for Java Programs – Raju Pandey, Brant Hashii - 1999
A Type System for Access Control in an Object-Oriented Language – M├írio Rui Dias Pires - 2009
69 Towards Fault-tolerant and Secure Agentry – Fred B. Schneider - 1997
Recommended for Acceptance – Foundational Proof-carrying Code, Gang Tan
79 Computability Classes for Enforcement Mechanisms – Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider - 2003