dblp.uni-trier.dewww.uni-trier.de

Aris Zakinthinos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
5EEAris Zakinthinos, E. Stewart Lee: Composing Secure Systems that have Emergent Properties. CSFW 1998: 117-122
1997
4EEAris Zakinthinos, E. Stewart Lee: A General Theory of Security Properties. IEEE Symposium on Security and Privacy 1997: 94-102
1996
3EEAris Zakinthinos, E. Stewart Lee: How and why feedback composition fails [secure systems]. CSFW 1996: 95-101
1995
2EEAris Zakinthinos, E. Stewart Lee: The composability of non-interference [system security]. CSFW 1995: 2-8
1 Aris Zakinthinos, E. Stewart Lee: The Composability of Non-Interference. Journal of Computer Security 3(4): 269-282 (1995)

Coauthor Index

1E. Stewart Lee [1] [2] [3] [4] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)