Secure Computer Systems: A Refinement of the Mathematical Model
Author
D. Elliott Bell
Entry type
techreport
Abstract
A model developed for the investigation of security in computer systems is refined in three major ways, incoporating an object structure, a notion of current security level, and an altered *-property. In addition, the various ramifications of classifying a control structure are explored. It is shown that security requirements can be fulfilled in a system using these refinements.
Date
1974 – 04
Edition
ESD-TR-73-278
Institution
MITRE Corp.
Key alpha
Bell
Organization
MITRE Corp.
Pages
76
Publication Date
1974-04-01
Contents
I. Introduction
II. The Alteration of control
III. The inclusion of current security level
IV. Revising the *-property
V. Classification of a control hierarchy
VI. Summary
Language
English
Location
A hard-copy of this is in the CERIAS Library
Subject
Secure Computer Systems