Dual Authentication and Key Management Techniques for Secure Data Transmission in Vehicular Ad Hoc Networks