| 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) |
