Analysis and Improvement of a Conditional Privacy-Preserving Authentication Scheme with Double-Insurance in VANETs | IEEE Journals & Magazine | IEEE Xplore