The composability of non-interference [system security]
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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
This publication has 6 references indexed in Scilit:
- Noninterference and the composability of security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A general theory of composition for trace sets closed under selective interleaving functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Hookup security for synchronous machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Information flow in nondeterministic systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Specifications for Multi-Level Security and a Hook-UpPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982