A Z Specification of the MaCHO Interface Editor

Abstract

This document describes the basic editor part of the user interface for the SMITE secure computer architecture using the mathematical notation known as Z. Operations that are available to the user, and their effects on the screen display, are specified in conjunction with descriptions of the auxiliary functions and data structures necessary to support them. This specification will be used to implement a powerful yet trustworthy interface for the initiation and control of security related transactions. Great Britain

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1988
Accession Number
ADA204834

Entities

People

  • A. W. Wood

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Computers
  • Coordinate Systems
  • Coverings
  • Displacement
  • Intellectual Property
  • Language
  • Mathematics
  • Orientation (Direction)
  • Personality
  • Precursors
  • Sequences
  • Set Theory
  • Side Effects
  • Specifications
  • User Interface

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Database Systems and Applications
  • Military History of the United States in the 20th Century.