Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

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

Summary: A Logical Representation of Common Rules for
Controlling Access to Classified Information
Deepak Garg Frank Pfenning
Denis Serenyi
Brian Witten
June 19, 2009
CMU-CS-09-139
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213

Author affiliation: Symantec Corporation
This work was partially supported by the Air Force Research Laboratory under grant number
FA87500720028. The views and conclusions contained herein are those of the authors and should not
be interpreted as necessarily representing the official policies or endorsements, either expressed or implied,
of the Air Force Research Laboratory, the U.S. Government, Symantec Corporation or Carnegie Mellon.
Keywords: Access control, policy, logic, 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

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics