The composability of non-interference [system security]. - Aris Zakinthinos; E. Stewart Lee (CSFW, 1995)

The Composability of Non-Interference. - Aris Zakinthinos; E. Stewart Lee (J. Comput. Secur., 1995)

How and why feedback composition fails [secure systems]. - Aris Zakinthinos; E. Stewart Lee (CSFW, 1996)

A General Theory of Security Properties. - Aris Zakinthinos; E. Stewart Lee (S&P, 1997)

Composing Secure Systems that have Emergent Properties. - Aris Zakinthinos; E. Stewart Lee (CSFW, 1998)