Formal verification of privacy properties in electrical vehicle charging.

Type de document :
Communication dans un congrès
International Symposium on Engineering Secure Software and Systems (ESSOS15), Mar 2015, Milan, Italy. 2015
Liste complète des métadonnées

https://hal.inria.fr/hal-01089925
Contributeur : Daniel Le Métayer <>
Soumis le : mardi 2 décembre 2014 - 15:35:07
Dernière modification le : mercredi 29 novembre 2017 - 10:25:23

Identifiants

  • HAL Id : hal-01089925, version 1

Collections

Citation

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. 2015. 〈hal-01089925〉

Partager

Métriques

Consultations de la notice

351