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