file.pdf (179.79 kB)
Download file

A Language-Based Approach to Security

Download (179.79 kB)
journal contribution
posted on 01.01.2009, 00:00 by Fred B. Schneider, Greg Morrisett, Robert Harper
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.

History

Date

01/01/2009

Usage metrics

Exports