A Survey of Formal Models for Computer Security.
Abstract
Efforts to build secure computer systems have been under way for more than a decade. Many designs have been proposed, some prototypes have been constructed, and a few systems are approaching the production stage. A small number of systems are even operating in what the Department of Defense calls the 'multi-level' mode--some information contained in these computer systems may have a classification higher than the clearance of some of the users of those systems. This report reviews the need for formal security models, describes the structure and operation of military security controls, considers how automation has affected security problems, surveys models that have been proposed and applied to date, and suggests possible directions for future models. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 30, 1981
- Accession Number
- ADA105247
Entities
People
- Carl E. Landwehr
Organizations
- United States Naval Research Laboratory