emergency services in future intelligent transportation systems based on vehicular communication networks .
Efficient and robust pseudonymous authentication in VANET