Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks - Meng Li - E-bok | Bokus