Journal of Computer Security · 1995 · 22 citations · 6 references
ComputingComputer SystemsDistributed SystemsInterference EffectsInterference
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
6
Security Policies and Security Models
Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations
Noninterference and the composability of security properties
Daryl McCullough · 2003 · 264 citations
Information flow in nondeterministic systems
J.T. Wittbold, Dale Johnson · 1990 · 240 citations