Abstract

This paper reports the first results of an investigation into solutions to problems of security in computer systems; it establishes the basis for rigorous investigation by providing a general descriptive model of a computer system.

Borrowing basic concepts and constructs from general systems theory, we present a basic result concerning security in computer systems, using precise notions of “security” and “compromise”. We also demonstrate how a change in requirements can be reflected in the resulting mathematical model.

A lengthy introductory section is included in order to bridge the gap between general systems theory and practical problem solving.

Links

• DTIC

Citation

Bell, D.E., LaPadula, L.J., 1973. ESD-TR-73-278, Vol. 1: Secure Computer Systems: Mathematical Foundations