Policy Enforcement by Using Security Labels

Abstract

This project seeks deeper understanding of formal specification of information flow in the contexts of reactive programming, policy reclassification and enforcement, and intensional type characterization.

Document Details

Document Type
DoD Grant Award
Publication Date
Jul 15, 2016
Source ID
FA95501610250

Entities

People

  • Fred B. Schneider

Organizations

  • Air Force Office of Scientific Research
  • Cornell University
  • United States Air Force

Tags

Readers

  • Computational Linguistics
  • Government and Public Administration Law.
  • Groundwater Contamination Remediation.