Proving Noninterference and Functional Correctness Using Traces

1 January 1992

journal article
Published by SAGE Publications in Journal of Computer Security

Vol. 1 (1) , 37-57
https://doi.org/10.3233/jcs-1992-1103

Abstract

The trace method of software specification is extended to provide a natural semantics for a procedural programming language. This extension provides a method for proving program correctness that permits a direct proof of program Noninterference witho

Keywords

PROVING
NONINTERFERENCE
TRACE
DIRECT PROOF
NATURAL SEMANTICS
FUNCTIONAL CORRECTNESS
EXTENSION PROVIDES
PROGRAM CORRECTNESS

This publication has 0 references indexed in Scilit: