Secure and Efficient Attribute-based Batch Authentication Scheme for VANETs | IEEE Journals & Magazine | IEEE Xplore