Accession Number:

ADA386832

Title:

A Language-Based Approach to Security

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA

Report Date:

2000-01-01

Pagination or Media Count:

16.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE