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.
COinS
Comments
CMU-CS-09-139