Secure, pseudonymous, and auditable communication in vehicular ad hoc networks