Secure Computer Systems: A Refinement of the Mathematical Model

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1974
Accession Number
AD0780528

Entities

People

  • D. Elliott Bell

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • C4I
  • Human Systems

DTIC Thesaurus Topics

  • Algorithms
  • Alphabets
  • Classification
  • Computers
  • Directories
  • Governments
  • Guarantees
  • Hierarchies
  • Inclusions
  • Information Systems
  • Mathematical Models
  • Models
  • Notation
  • Security
  • Semantics
  • Sequences
  • Standards

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Database Systems and Applications
  • International Relations and European Studies
  • Theoretical Analysis.