CPPA-D: Efficient Conditional Privacy-Preserving Authentication Scheme With Double-Insurance in VANETs | IEEE Journals & Magazine | IEEE Xplore