A Logical Representation of Common Rules for Controlling Access to Classified Information

Abstract

Official policies for controlling access to classified information in the U.S. are quite complex and often difficult to enforce. We present an encoding of a common core of these policies in an authorization logic, and describe their rigorous enforcement in PCFS, a file system implemented for such purposes.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 19, 2009
Accession Number
ADA506998

Entities

People

  • Brian Witten
  • Deepak Garg
  • Denis Serenyi
  • Frank Pfenning

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Ground and Sea Platforms
  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Case Studies
  • Classification
  • Clearances
  • Computer Access Control
  • Computer Programming
  • Computer Science
  • Computers
  • Counterintelligence
  • Executives
  • Identities
  • Information Operations
  • Intervals
  • Life Cycles
  • Security
  • Security Classification Guides
  • Transitions

Readers

  • Computer Science.
  • Cybersecurity.