An Example Machine Used for Developing a Proof Strategy for Secure Systems

Abstract

This report describes a machine which is an abstraction of the archetypal Command Control Communications and Information (C3I) system which system developers meet in procurement requests, operational requirements, invitations to tender, etc, from government and military agencies. The purpose of this report is to set the scope of complexity of structure, functionality and policy which we believe the SMITE approach to secure systems development can encompass. It thus provides background and motivation for future research and encourages those involved in secure systems procurement to investigate further the SMITE approach. The Abstract Machine is first described in English with pictures and subsequently in the Z specification language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1991
Accession Number
ADA241658

Entities

People

  • P. F. Terry

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Accumulators
  • Agreements
  • Classification
  • Computer Access Control
  • Directories
  • Fish
  • Hierarchies
  • Identification
  • Language
  • Mechanization
  • Phase Transformations
  • Procurement
  • Specifications
  • Transitions
  • Trojan Horse
  • Word Processors

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Cybersecurity.
  • Software Engineering.

Technology Areas

  • Fully Networked C3
  • Fully Networked C3 - Command and Control