ESD-TR-73-278, Vol. 1, 1973

Secure Computer Systems: Mathematical Foundations

Type

Report

Year

1973

Authors

Bell, D.E., LaPadula, L.J.

Identifiers

  • Report #: ESD-TR-73-278, Vol. 1

  • Report #: MTR-2547, Vol. 1

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.

(ESD-TR-73-278, Vol. 1, 1973, p. 4-5)

Links

Citation

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


Follow us on LinkedIn | Discuss on Slack | Support us with Patreon | Sign-up for a free membership.


This wiki is owned by Open Measure, a non-profit association. The original content we publish is licensed under a Creative Commons Attribution 4.0 International License.