Non-interference through determinism*

1 January 1996

journal article
Published by SAGE Publications in Journal of Computer Security

Vol. 4 (1) , 27-53
https://doi.org/10.3233/jcs-1996-4103

Abstract

This paper is a revised version of [16]. The notation has been slightly modified to make it compatible with that used in related publications [13, 14]. The standard approach to the specification of a secure system is to present a (usually state-based

Keywords

INTERFERENCE
REVISED VERSION
STANDARD APPROACH
STATE BASED
SLIGHTLY MODIFIED
RELATED PUBLICATIONS
SECURE SYSTEM
NOTATION

This publication has 0 references indexed in Scilit: