Aris Zakinthinos

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

Publications

Aris Zakinthinos, E. Stewart Lee
Composing Secure Systems that have Emergent Properties. CSFW (1998)
Aris Zakinthinos, E. Stewart Lee
A General Theory of Security Properties. IEEE Symposium on Security and Privacy (1997)
Aris Zakinthinos, E. Stewart Lee
How and why feedback composition fails [secure systems]. CSFW (1996)
Aris Zakinthinos, E. Stewart Lee
The composability of non-interference [system security]. CSFW (1995)
Aris Zakinthinos, E. Stewart Lee
The Composability of Non-Interference. J. Comput. Secur. 3 (4) (1995)