Formal verification of a V2X scheme mixing traditional PKI and group signatures / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - In: OPEN JOURNAL OF INFORMATION SECURITY AND APPLICATIONS. - ISSN 2374-6262. - (In corso di stampa).

Formal verification of a V2X scheme mixing traditional PKI and group signatures

Bussa,Simone;Sisto,Riccardo;Valenza,Fulvio
In corso di stampa

In corso di stampa
File in questo prodotto:
File Dimensione Formato  
cas-dc-sample.pdf

accesso aperto

Tipologia: 2. Post-print / Author's Accepted Manuscript
Licenza: Pubblico - Tutti i diritti riservati
Dimensione 1.9 MB
Formato Adobe PDF
1.9 MB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2997222