A Secure Lightweight and Queue-Balanced Smart Parking Architecture for Vehicular Networks: Design, Analysis, and Evaluation | Synapse