Design of Lightweight Authentication and Key Agreement Protocol for Vehicular Ad Hoc Networks
On the security of public key protocols