Design of Secure and Application-Oriented VANETs | Synapse