On the Synthesis and Analysis of Protection Systems.

Abstract

The design of a protection system for an operating system is seen to involve satisfying the competing properties of richness and integrity. Achieving both requires the interplay of analysis and synthesis. Using a formal model from the literature, three designs are developed whose integrity (with the help of the model) can be shown. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1977
Accession Number
ADA039875

Entities

People

  • Lawrence H Snyder

Organizations

  • Yale University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Computer Science
  • Computers
  • Instructors
  • Language
  • Literature
  • Military Research
  • Operating Systems
  • Security
  • Students
  • Supervisors
  • Systems Engineering
  • Universities

Readers

  • Systems Analysis and Design