The Composability of Non-Interference

Article type: Research Article

Authors: Zakinthinos, A.^a | Lee, E. S.^b

Affiliations: [a] Computer Systems Research Institute, University of Toronto, Toronto, Canada | [b] Centre for Communications Systems Research, University of Cambridge, Cambridge, England

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.

DOI: 10.3233/JCS-1994/1995-3404

Journal: Journal of Computer Security, vol. 3, no. 4, pp. 269-281, 1995