Conditional Privacy-Preserving Authentication Protocol With Dynamic Membership Updating for VANETs | IEEE Journals & Magazine | IEEE Xplore