Secure Computer Systems: A Mathematical Model. Volume II.
Abstract
The paper presents a set of rules of operation which guarantee that a computer system can remain secure while exhibiting certain desired external characteristics. The rules are easily transformable into algorithms suitable for implementation on a digital computer. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1973
- Accession Number
- AD0771543
Entities
People
- D. Elliott Bell
- Leonard J. Lapadula
Organizations
- MITRE Corporation