A Trace Specification of the MMS Security Model

Abstract

The trace language provides for the specification of software modules in terms of the effects (such as return values) that the user sees when s(he) executes a sequence of procedure and function calls. These sequences are called traces. A trace specification consists of a syntax section and a semantics section. The syntax section states the name and parameter types of each of the module's procedures and the name, parameter types, and return value type of each of the module's function calls. Programming language, Computer program.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 08, 1988
Accession Number
ADA198824

Entities

People

  • Charles B. Cross

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Application Software
  • Classification
  • Clearances
  • Computer Programs
  • Computer Science
  • Computers
  • Containers
  • Cybersecurity
  • Guarantees
  • Information Security
  • Language
  • Message Systems
  • Military Research
  • North Carolina
  • Notation
  • Security

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Science.