Provably Secure and Anonymous V2I and V2V Authentication Protocol for VANETs | IEEE Journals & Magazine | IEEE Xplore