The Composability of Non-Interference
A. Zakinthinos, E. S. Lee · Journal of Computer Security · 1995
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