![]() | ![]() |
1998 | ||
---|---|---|
5 | EE | Aris Zakinthinos, E. Stewart Lee: Composing Secure Systems that have Emergent Properties. CSFW 1998: 117-122 |
1997 | ||
4 | EE | Aris Zakinthinos, E. Stewart Lee: A General Theory of Security Properties. IEEE Symposium on Security and Privacy 1997: 94-102 |
1996 | ||
3 | EE | Aris Zakinthinos, E. Stewart Lee: How and why feedback composition fails [secure systems]. CSFW 1996: 95-101 |
1995 | ||
2 | EE | Aris 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) |
1 | E. Stewart Lee | [1] [2] [3] [4] [5] |