Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos

Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay. Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. In Dieter Gollmann, Jan Meier, Andrei Sabelfeld, editors, Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings. Volume 4189 of Lecture Notes in Computer Science, pages 362-383, Springer, 2006. [doi]

Authors

Michael Backes

This author has not been identified. Look up 'Michael Backes' in Google

Iliano Cervesato

This author has not been identified. Look up 'Iliano Cervesato' in Google

Aaron D. Jaggard

This author has not been identified. Look up 'Aaron D. Jaggard' in Google

Andre Scedrov

This author has not been identified. Look up 'Andre Scedrov' in Google

Joe-Kai Tsay

This author has not been identified. Look up 'Joe-Kai Tsay' in Google