Verifiable Privacy Protection for Vehicular Communication Systems e-bokEngelsk, 2017