Secure vehicular communication systems: design and architecture | Synapse