Formal Verification of Privacy Properties in Electric Vehicle Charging

26. December 2015 - 22:26 — fkargl

Title	Formal Verification of Privacy Properties in Electric Vehicle Charging
Publication Type	Conference Paper
Year of Publication	2015
Authors	Fazouane, M, Kopp, H, van der Heijden, RW, Le Métayer, D, Kargl, F
Secondary Authors	Piessens, F, Caballero, J, Bielova, N
Conference Name	Engineering Secure Software and Systems
Date Published	03/2015
Publisher	Springer International Publishing
ISBN Number	978-3-319-15617-0
Keywords	electric vehicle charging, formal verification, Privacy
URL	http://dx.doi.org/10.1007/978-3-319-15618-7_2
DOI	10.1007/978-3-319-15618-7_2

Navigation