A Language-Based Approach to Security

Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access control policies and depends on a trusted computing base of only modest size. This paper surveys progress and prospects for the area, giving overviews of in-lined reference monitors, certifying compilers, and advances in type theory.

• Type: Conference
• Year: 2001
• Where: DAGSTUHL
• Authors: Fred B. Schneider, J. Gregory Morrisett, Robert Harper
• Keywords: DAGSTUHL 2001, DAGSTUHL 2007, Fine-grained Access Control, Language-based Security Leverages, Trusted Computing Base