Composing and decomposing systems under security properties
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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
This publication has 6 references indexed in Scilit:
- A general theory of composition for trace sets closed under selective interleaving functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A comparison of non-interference and non-deducibility using CSPPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- CSP and determinism in security modellingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Separability and the detection of hidden channelsInformation Processing Letters, 1990
- Information flow in nondeterministic systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Design and verification of secure systemsPublished by Association for Computing Machinery (ACM) ,1981