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
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