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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2000
Accession Number
ADA386832

Entities

People

  • Fred B. Schneider
  • Greg Morrisett
  • Robert Harper

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Assembly Languages
  • Compilers
  • Computer Access Control
  • Computer Programming
  • Computer Programs
  • Computers
  • Cybersecurity
  • High Level Languages
  • Language
  • Machine Languages
  • Object Code
  • Operating Systems
  • Programming Languages
  • System Software
  • Virtual Machines

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Cybersecurity.
  • Systems Analysis and Design