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