Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks - Ikram Ali - Häftad | Bokus