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