Formal Verification of Privacy Properties in Electric Vehicle Charging

TitleFormal Verification of Privacy Properties in Electric Vehicle Charging
Publication TypeBook Chapter
Year of Publication2015
AuthorsM. Fazouane, H. Kopp, RW.. van der Heijden, D. Le Métayer, and F. Kargl
EditorF. Piessens, J. Caballero, and N. Bielova
Book TitleEngineering Secure Software and Systems
Series TitleLecture Notes in Computer Science
Volume8978
Pagination17-33
PublisherSpringer International Publishing
ISBN Number978-3-319-15617-0
Keywordselectric vehicle charging, formal verification, privacy
URLhttp://dx.doi.org/10.1007/978-3-319-15618-7_2
DOI10.1007/978-3-319-15618-7_2