Language-Based Security for Malicious Mobile Code

Abstract

Classical operating system architecture provides support for only a limited class of coarse-grained security policies. Furthermore, system software has grown too large and complicated to be considered trustworthy. To address these shortcomings, we have explored the application of programming language technology, including advanced type-systems, proof systems, analyses, and compilers for realizing new classes of security policies and for reducing or relocating the trusted computing base.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 2007
Accession Number
ADA475288

Entities

People

  • Fred B. Schneider

Organizations

  • Cornell University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Application Software
  • Compilers
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Device Drivers
  • Information Operations
  • Language
  • Machine Languages
  • Object Code
  • Operating Systems
  • Programming Languages
  • Security
  • System Software

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Parallel and Distributed Computing.
  • Systems Analysis and Design