Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks - Ali, Ikram; Chen, Yong; Faisal, Mohammad; Li, Meng (Springer Singapore, 2022)