Secure Real-Time Traffic Data Aggregation With Batch Verification for Vehicular Cloud in VANETs | IEEE Journals & Magazine | IEEE Xplore