Aris Zakinthinos

According to our database, Aris Zakinthinos authored at least 5 papers between 1995 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

Composing Secure Systems that have Emergent Properties.

Aris Zakinthinos, E. Stewart Lee

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

1997

A General Theory of Security Properties.

Aris Zakinthinos, E. Stewart Lee

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

1996

How and why feedback composition fails [secure systems].

Aris Zakinthinos, E. Stewart Lee

Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

1995

The Composability of Non-Interference.

Aris Zakinthinos, E. Stewart Lee

J. Comput. Secur., 1995

The composability of non-interference [system security].

Aris Zakinthinos, E. Stewart Lee

Proceedings of the Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995