EDR: Efficient Decentralized Revocation Protocol for Vehicular Ad Hoc Networks | IEEE Journals & Magazine | IEEE Xplore