Treffer: Non-interference through determinism.
Title:
Non-interference through determinism.
Authors:
Source:
Journal of Computer Security. 1996, Vol. 4 Issue 1, p27. 27p. 1 Diagram, 1 Chart.
Subject Terms:
Database:
Business Source Premier
Weitere Informationen
Provides a novel and intellectually satisfying formulation of computer security properties in an algebraic framework and show how these are preserved under refinement. Issues related to the area of computer security; Definitions of computer noninterference conditions and illustrations of some of their properties; Functional specification of a file system intended to maintain confidential information; Systemic way of mapping the specification.
Volltext ist im Gastzugang nicht verfügbar. Login für vollen Zugriff.