DocumentCode
3312698
Title
An algebraic approach to non-interference [computer security]
Author
Pinsky, Sylvan
fYear
1992
fDate
16-18 Jun 1992
Firstpage
34
Lastpage
47
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop V, 1992. Proceedings.
Conference_Location
Franconia, NH
Print_ISBN
0-8186-2850-2
Type
conf
DOI
10.1109/CSFW.1992.236789
Filename
236789
Link To Document