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