Managing and Complementing Public Key Infrastructure for Securing Vehicular Ad Hoc Networks