Verifiable Privacy Protection for Vehicular Communication Systems - David Förster (Springer, 2017)