Title :
An algebraic approach to non-interference [computer security]
Abstract :
This paper introduces necessary and sufficient conditions for solving the Haigh-Young view-identical problem. A decision procedure, based on properties of the state transition matrix and the function relating states to outputs, is used to establish the equivalence between non-interference and the existence of Haigh-Young view-identical relations on the set of states
Keywords :
DP management; security of data; Haigh-Young view-identical problem; algebraic approach, noninterference; decision procedure; necessary and sufficient conditions; state transition matrix; Computer security; Information processing; Information security; Interference; Kernel; Lattices; Protection; State-space methods;
Conference_Titel :
Computer Security Foundations Workshop V, 1992. Proceedings.
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2850-2
DOI :
10.1109/CSFW.1992.236789
