Efficient Authentication Protocol for Secure Vehicular Communications | IEEE Conference Publication | IEEE Xplore