Internet of Vehicles: Architecture, Protocols, and Security | Synapse