|
Search the dblp DataBase
Aris Zakinthinos:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Aris Zakinthinos, E. Stewart Lee
The composability of non-interference [system security]. [Citation Graph (0, 0)][DBLP] CSFW, 1995, pp:2-8 [Conf]
- Aris Zakinthinos, E. Stewart Lee
How and why feedback composition fails [secure systems]. [Citation Graph (0, 0)][DBLP] CSFW, 1996, pp:95-101 [Conf]
- Aris Zakinthinos, E. Stewart Lee
Composing Secure Systems that have Emergent Properties. [Citation Graph (0, 0)][DBLP] CSFW, 1998, pp:117-122 [Conf]
- Aris Zakinthinos, E. Stewart Lee
A General Theory of Security Properties. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Security and Privacy, 1997, pp:94-102 [Conf]
- Aris Zakinthinos, E. Stewart Lee
The Composability of Non-Interference. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 1995, v:3, n:4, pp:269-282 [Journal]
Search in 0.001secs, Finished in 0.001secs
|