Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks - Ikram Ali - Inbunden | Bokus