Barbosaand Farshim. Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps. Springer Berlin Heidelberg, 2009, doi:10.1007/978-3-642-02384-2_15.