1. Formal Models for Computer Security.
- Author
-
Landwehr, Carl E.
- Subjects
- *
COMPUTER security , *SECURITY systems , *DATA protection , *COMPUTER operating systems , *SYSTEMS software , *COMPUTER software - Abstract
Efforts to build "secure" computer systems have now been underway 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 "multilevel" 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 paper 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. [ABSTRACT FROM AUTHOR]
- Published
- 1981
- Full Text
- View/download PDF