Αποστολή με SMS: Verifiable Privacy Protection for Vehicular Communication Systems