An Improved Identity-Based Batch Verification Scheme for VANETs | IEEE Conference Publication | IEEE Xplore