Accession Number:

AD0780528

Title:

Secure Computer Systems: A Refinement of the Mathematical Model

Descriptive Note:

Technical rept.

Corporate Author:

MITRE CORP MCLEAN VA

Personal Author(s):

• Bell, D. Elliott

Report Date:

1974-04-01

Pagination or Media Count:

77.0

Abstract:

A model developed for the investigation of security in computer systems is refined in three major ways, incorporating an object structure, a notion of current security level, and an altered -property. In addition, the various ramifications of classifying a control structure are explored. It is shown that security requirements can be fulfilled in a system using these refinements.

Descriptors:

• *DATA PROCESSING SECURITY
• *COMPUTER PROGRAMMING
• MATHEMATICAL MODELS
• ALGORITHMS
• COMPUTERS
• MATHEMATICAL LOGIC
• SECURITY
• THEOREMS

Subject Categories:

• Computer Programming and Software
• Computer Hardware
• Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE