Cryptography has been introduced to insure an acceptable degree of security in presence of malicious intruders when critical information are transmitted via an insecure media, for example a computer wide network or a mobile telephone network.
Formal verification of cryptographic protocols using history dependent automata
Gnesi S;Latella D;
1999
Abstract
Cryptography has been introduced to insure an acceptable degree of security in presence of malicious intruders when critical information are transmitted via an insecure media, for example a computer wide network or a mobile telephone network.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_407514-doc_142820.pdf
solo utenti autorizzati
Descrizione: Formal verification of cryptographic protocols using history dependent automata
Tipologia:
Versione Editoriale (PDF)
Dimensione
285.81 kB
Formato
Adobe PDF
|
285.81 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
