Skip to Main content Skip to Navigation
Journal articles

Formally Validated of Novel Tolling Service With the ITS-G5

Malalatiana Randriamasy 1 Adnane Cabani 1 Houcine Chafouk 1 Guy Fremont 2
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
Document type :
Journal articles
Complete list of metadatas
https://hal-normandie-univ.archives-ouvertes.fr/hal-02301563
Contributor : Houcine Chafouk <>
Submitted on : Monday, September 30, 2019 - 3:23:24 PM
Last modification on : Monday, September 14, 2020 - 2:33:06 PM

Links full text

openaccess

Identifiers

Collections

COMUE-NORMANDIE | ESIGELEC | UNIROUEN | IRSEEM | TDS-MACS

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

47