The Terry-Wiseman Security Policy Model and Examples of Its Use

Abstract

This paper presents a model of security for computer systems where it is essential that the confidentiality of the information is maintained. The model is introduced using a simple analogy, it is then defined formally and its use illustrated by examples. The framework for using the model to achieve high assurance implementations of high functionality systems is also discussed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1990
Accession Number
ADA225639

Entities

People

  • C. L. Harrold

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Addressing
  • Application Software
  • Classification
  • Clearances
  • Computer Access Control
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Cybersecurity
  • Directories
  • Notation
  • Operating Systems
  • Specifications
  • Trojan Horse
  • Word Processors

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Cybersecurity.