Accession Number : AD0771543
Title : Secure Computer Systems: A Mathematical Model. Volume II.
Descriptive Note : Technical rept.,
Corporate Author : MITRE CORP BEDFORD MASS
Personal Author(s) : Bell,D. Elliott ; LaPadula,Leonard J.
Report Date : NOV 1973
Pagination or Media Count : 62
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)
Descriptors : *DIGITAL COMPUTERS, *SECURITY, ALGORITHMS, MATHEMATICAL LOGIC, MATHEMATICAL MODELS, THEOREMS
Subject Categories : Computer Hardware
Computer Systems Management and Standards
Distribution Statement : APPROVED FOR PUBLIC RELEASE