Um Modelo Seguro para Divulgação de Informação na VANET Habilitada nas Nuvens: Uma VANET segura baseada em nuvens (Portuguese Edition)