Under-specification, composition and emergent properties
NSPW '97 Proceedings of the 1997 workshop on New security paradigms
How and why feedback composition fails [secure systems]
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
A unifying approach to the security of distributed and multi-threaded programs
Journal of Computer Security - Special issue on CSFW14
Hi-index | 0.00 |
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.