Ali, Ikram: Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks