Designing Secure User Authentication Protocol for Big Data Collection in IoT-Based Intelligent Transportation System | Synapse