Kai Fan, Hui Li, Yue Wang. Security Analysis of the Kerberos Protocol Using BAN Logic. In Proceedings of the Fifth International Conference on Information Assurance and Security, IAS 2009, Xi An, China, 18-20 August 2009. pages 467-470, IEEE Computer Society, 2009. [doi]
Abstract is missing.