Autenticação pseudônima eficiente e robusta em VANET | Synapse