Separability and Security Models,

Abstract

This report presents a review of security models and gives a detailed mathematical description of the property of separability, that is the property that certain software can be treated as though it were being obeyed in isolated computers. The description uses the specification language Z, and the proofs required are given in detail.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1987
Accession Number
ADA193654

Entities

People

  • C. T. Sennett
  • Robyn L. Macdonald

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Cyber
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Authentication
  • Communication Systems
  • Computations
  • Computer Languages
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Cybersecurity
  • Formal Languages
  • Language
  • Operating Systems
  • Secure Communications
  • Software Development
  • Theory Of Computation
  • Virtual Machines

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Operations Research
  • Theoretical Analysis.