Title :
Composing and decomposing systems under security properties
Author :
Roscoe, A.W. ; Wulf, L.
Author_Institution :
Comput. Lab., Oxford Univ., UK
Abstract :
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
Keywords :
security of data; disjoint components; noninterference properties; security properties; separability; separability of processes; Context modeling; Information security; Interference; Interleaved codes; Laboratories; Operating systems;
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.518547
