Manuel Barbosa, Pooya Farshim. Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps. In Bart Preneel, editor, Progress in Cryptology - AFRICACRYPT 2009, Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings. Volume 5580 of Lecture Notes in Computer Science, pages 235-253, Springer, 2009. [doi]
Abstract is missing.