Formal verification of privacy properties in electrical vehicle charging. - Centre of Innovation in Telecommunications and Integration of services Accéder directement au contenu
Communication Dans Un Congrès Année : 2015
Fichier non déposé

Dates et versions

hal-01089925 , version 1 (02-12-2014)

Identifiants

  • HAL Id : hal-01089925 , version 1

Citer

Marouane Fazouane, Henning Kopp, Rens van Der Heijden, Daniel Le Métayer, Franck Kargl. Formal verification of privacy properties in electrical vehicle charging.. International Symposium on Engineering Secure Software and Systems (ESSOS15), Mar 2015, Milan, Italy. ⟨hal-01089925⟩
149 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More