Date of Original Version

6-2009

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

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.

Comments

CMU-CS-09-139

Share

COinS