Formally Validated of Novel Tolling Service With the ITS-G5

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

Domaines

Automatique / Robotique Energie électrique

Fichier principal

Formally_Validated_of_Novel_Tolling_Service_With_the_ITS-G5.pdf (15.2 Mo)

Origine : Publication financée par une institution

Adnane Cabani : Connectez-vous pour contacter le contributeur

https://normandie-univ.hal.science/hal-02301563

Soumis le : samedi 2 mars 2024-23:10:28

Dernière modification le : lundi 4 mars 2024-11:15:44

Dates et versions

hal-02301563 , version 1 (02-03-2024)

Identifiants

HAL Id : hal-02301563 , version 1
DOI : 10.1109/ACCESS.2019.2906046

Citer

Malalatiana Randriamasy, Adnane Cabani, Houcine Chafouk, Guy Fremont. Formally Validated of Novel Tolling Service With the ITS-G5. IEEE Access, 2019, Revue IEEE Access, 7, pp.41133-41144. ⟨10.1109/ACCESS.2019.2906046⟩. ⟨hal-02301563⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

COMUE-NORMANDIE TDS-MACS IRSEEM UNIROUEN ESIGELEC

31 Consultations

6 Téléchargements