DocumentCode
2734406
Title
The composability of non-interference [system security]
Author
Zakinthinos, A. ; Lee, E.S.
Author_Institution
Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada
fYear
1995
fDate
13-15 Jun 1995
Firstpage
2
Lastpage
8
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1995. Proceedings., Eighth IEEE
Conference_Location
County Kerry
ISSN
1063-6900
Print_ISBN
0-8186-7033-9
Type
conf
DOI
10.1109/CSFW.1995.518546
Filename
518546
Link To Document