Secure Data Sensing, Computing, and Dissemination in Vehicular Ad Hoc Networks