Date of Original Version

6-2009

Type

Technical Report

Abstract or Table of Contents

Official policies for controlling access to classi fied 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 fi le system implemented for such purposes.

Comments

CMU-CS-09-139

Share

COinS