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