loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Eighth IEEE Computer Security Foundations Workshop (CSFW '95)
Composing and decomposing systems under security properties
Kenmare, County Kerry, Ireland
March 13-March 15
ISBN: 0-8186-7033-9
ASCII Text
x 
 
A.W. Roscoe, L. Wulf, "Composing and decomposing systems under security properties," Computer Security Foundations Workshop, IEEE, pp. 9, The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/CSFW.1995.518547,
author = {A.W. Roscoe and L. Wulf},
title = {Composing and decomposing systems under security properties},
journal ={Computer Security Foundations Workshop, IEEE},
volume = {0},
year = {1995},
issn = {1063-6900},
pages = {9},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1995.518547},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Foundations Workshop, IEEE
TI - Composing and decomposing systems under security properties
SN - 1063-6900
SP
EP
A1 - A.W. Roscoe,
A1 - L. Wulf,
PY - 1995
KW - security of data; security properties; separability of processes; noninterference properties; separability; disjoint components
VL - 0
JA - Computer Security Foundations Workshop, IEEE
ER -
 
A.W. Roscoe, Comput. Lab., Oxford Univ., UK
L. Wulf, Comput. Lab., Oxford Univ., UK
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability-the ability to define a process as a parallel composition of disjoint components-alone cannot adequately prove the absence of information flow. We present a number of laws for the composition of secure systems, and an example to show how such laws can be applied.
Index Terms:
security of data; security properties; separability of processes; noninterference properties; separability; disjoint components
Citation:
A.W. Roscoe, L. Wulf, "Composing and decomposing systems under security properties," csfw, pp.9, The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995
Usage of this product signifies your acceptance of the Terms of Use.