Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks by Mohammad Faisal, Yong Chen, Meng Li, Ikram Ali | Lex | Lex