Downgrading in a Secure Multilevel Computer System: The Formulary Concept
MITRE CORP BEDFORD MA
Pagination or Media Count:
The tasks to be performed during the development of the Secure Multilevel Data Base System include the construction of a capability for the transformation of data of higher levels of classification to data at lower levels. The capability is to be part of a system in which access control is based upon a security kernel for the PDP-1145. In this report a mechanism for facilitating downward transformations is developed, and the impact of the mechanism upon both the Bell-LaPadula model of secure computer systems and the security kernel is discussed. An expository treatment of the model and kernel is also included.
- Computer Systems Management and Standards