Title: Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks