Manuel Barbosa Pooya Farshim Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps. 235-253 2009 AFRICACRYPT http://dx.doi.org/10.1007/978-3-642-02384-2_15 conf/africacrypt/2009 db/conf/africacrypt/africacrypt2009.html#BarbosaF09