D. Elliott Bell

techreport

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.

1974 – 04

ESD-TR-73-278

MITRE Corp.

Bell

MITRE Corp.

76

1974-04-01

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

English

A hard-copy of this is in the CERIAS Library

Secure Computer Systems