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.

This publication has 0 references indexed in Scilit: