Sciweavers

Share
DAGSTUHL
2001

A Language-Based Approach to Security

12 years 3 months ago
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.
Fred B. Schneider, J. Gregory Morrisett, Robert Ha
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where DAGSTUHL
Authors Fred B. Schneider, J. Gregory Morrisett, Robert Harper
Comments (0)
books