E. Kleiner

According to our database, E. Kleiner authored at least 2 papers between 2005 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

On the Decidability of the Safety Problem for Access Control Policies.

E. Kleiner, T. Newcomb

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

2005

On the Relationship Between Web Services Security and Traditional Protocols.

E. Kleiner, A. W. Roscoe

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005