A Novel Cloud-Assisted Authentication Key Agreement Protocol for VANET | IEEE Journals & Magazine | IEEE Xplore