File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Tesi Andrea Pulcini.pdf
File non disponibile
Descrizione: Il lavoro presentato in questa tesi vuole introdurre l’utilizzo di Tamarin nell’ambito dei protocolli crittografici, mostrando nello specifico come funziona nell’analisi di due protocolli, TLS 1.3 e 5G.
Dimensione
1.91 MB
Formato
Adobe PDF
|
1.91 MB | Adobe PDF | Contatta l'autore |
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Il download dei file è consentito soltanto per chi si collega da rete interna o da proxy.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.12319/12457