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