EMBA: An Efficient Anonymous Mutual and Batch Authentication Schemes for Vanets | IEEE Conference Publication | IEEE Xplore