Aggregation and probabilistic verification for data authentication in VANETs | Publicación