Date of Original Version

2000

Type

Article

Abstract or Description

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.

DOI

10.1007/3-540-44577-3_6

Share

COinS
 

Published In

R. Wilhelm (Ed.): Informatics. 10 Years Back. 10 Years Ahead, LNCS 2000, 86-101.