loading...
The composability of non-interference [system security]
Kenmare, County Kerry, Ireland March 13-March 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSFW.1995.518546The Eighth IEEE Computer Security Fou ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
A. Zakinthinos, E.S. Lee, "The composability of non-interference [system security]," Computer Security Foundations Workshop, IEEE, pp. 2, The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/CSFW.1995.518546,
author = {A. Zakinthinos and E.S. Lee},
title = {The composability of non-interference [system security]},
journal ={Computer Security Foundations Workshop, IEEE},
volume = {0},
year = {1995},
issn = {1063-6900},
pages = {2},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1995.518546},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Foundations Workshop, IEEE
TI - The composability of non-interference [system security]
SN - 1063-6900
SP
EP
A1 - A. Zakinthinos,
A1 - E.S. Lee,
PY - 1995
KW - security of data; McCullough's conjecture; noninterference composability; feedback; system security
VL - 0
JA - Computer Security Foundations Workshop, IEEE
ER -
 
A. Zakinthinos, Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada
E.S. Lee, Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada
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.
Index Terms:
security of data; McCullough's conjecture; noninterference composability; feedback; system security
Citation:
A. Zakinthinos, E.S. Lee, "The composability of non-interference [system security]," csfw, pp.2, The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995
Usage of this product signifies your acceptance of the Terms of Use.