The Composability of Non-interference

摘要

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.