Formally Validated of Novel Tolling Service With the ITS-G5

Malalatiana Randriamasy; Adnane Cabani; Houcine Chafouk; Guy Fremont

doi:10.1109/ACCESS.2019.2906046

Article dans une revue

Formally Validated of Novel Tolling Service With the ITS-G5

Malalatiana Randriamasy ¹ Adnane Cabani ¹ Houcine Chafouk ¹ Guy Fremont ²

1 IRSEEM - Institut de Recherche en Systèmes Electroniques Embarqués

2 SANEF

Keywords : telecommunication security road pricing (tolls) cryptographic protocols digital signatures formal verification intelligent transportation systems telecommunication standards transaction processing vehicular ad hoc networks

Domaine :

Sciences de l'ingénieur [physics] / Automatique / Robotique

Sciences de l'ingénieur [physics] / Energie électrique

Liste complète des métadonnées

https://hal-normandie-univ.archives-ouvertes.fr/hal-02301563
Contributeur : Houcine Chafouk <>
Soumis le : lundi 30 septembre 2019 - 15:23:24
Dernière modification le : jeudi 2 avril 2020 - 10:42:03

Formally Validated of Novel Tolling Service With the ITS-G5

Lien texte intégral

Identifiants

Collections

Citation

Exporter

Métriques

31

Formally Validated of Novel Tolling Service With the ITS-G5

Lien texte intégral

Identifiants

Collections

Citation

Exporter

Partager

Métriques

31