A robust and efficient anonymous authentication protocol in VANETs | KICS Journals & Magazine | IEEE Xplore