Title :
The composability of non-interference [system security]
Author :
Zakinthinos, A. ; Lee, E.S.
Author_Institution :
Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada
Abstract :
The failure of non-interference to be preserved under composition is discussed. Two theorems are presented to this effect. The first proves McCullough´s conjecture that non-interference is composable without feedback. The second provides a method of composition that preserves the non-interference property in the presence of feedback
Keywords :
security of data; McCullough´s conjecture; feedback; noninterference composability; system security; Computer security; Feedback; Interference; Lattices; Reliability engineering;
Conference_Titel :
Computer Security Foundations Workshop, 1995. Proceedings., Eighth IEEE
Conference_Location :
County Kerry
Print_ISBN :
0-8186-7033-9
DOI :
10.1109/CSFW.1995.518546
