Efficient Small-Batch Verification and Identification Scheme With Invalid Signatures in VANETs | IEEE Journals & Magazine | IEEE Xplore