Secured information dissemination and misbehavior detection in VANETs