Security Analysis of an Efficient Authentication Scheme for Vehicular Ad Hoc Networks | IEEE Conference Publication | IEEE Xplore