Fereidoun Moradi, Hamid Mala, Behrouz Tork Ladani: Security Analysis and Strengthening of an RFID Lightweight Authentication Protocol Suitable for VANETs. Wirel. Pers. Commun. 83(4): 2607-2621 (2015)