Accession Number:

AD0770768

Title:

Secure Computer Systems: Mathematical Foundations

Descriptive Note:

Corporate Author:

MITRE CORP BEDFORD MA

Personal Author(s):

Report Date:

1973-11-01

Pagination or Media Count:

42.0

Abstract:

Set theory, Mathematical models, Computer information security, Computer privacy, Computer security, Systems theoryThe 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, the authors formed a basic result concerning security in computer systems, using precise notions of security and compromise. The authors 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.

Subject Categories:

  • Computer Hardware
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE