Integrating Programming Language and Operating System Information Security Mechanisms

Abstract

This grant aims to improve the guarantees offered by both language-based information security mechanisms, and operating system information security mechanisms. It seeks to do so by investigating interactions between language-based and OS mechanisms for information security, and exploiting these interactions both to improve the precision of security enforcement, and to provide greater assurance of information security. This grant focuses on two key projects: language-based control of authority; and formal guarantees for the correctness of audit information.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 31, 2016
Accession Number
AD1016227

Entities

People

  • Stephen Chong

Organizations

  • Harvard University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Computer Access Control
  • Computer Languages
  • Computer Programming
  • Computers
  • Cybersecurity
  • Electronic Mail
  • Guarantees
  • Information Security
  • Language
  • Operating Systems
  • Patents
  • Programming Languages
  • Scripting Languages
  • Shell Scripts
  • Students
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Government and Public Administration Law.
  • Software Engineering.