The composability of non-interference [system security]

Authors:
A. Zakinthinos;E. S. Lee
Affiliations:
-;-
Venue:
CSFW '95 Proceedings of the 8th IEEE workshop on Computer Security Foundations
Year:
1995

Citing 0
Cited 3

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

Quantified Score

Hi-index	0.00

Visualization

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.