Proof Techniques for Cryptographic Processes
Proof Techniques for Cryptographic Processes / BOREALE M; DE NICOLA R; R. PUGLIESE. - In: SIAM JOURNAL ON COMPUTING. - ISSN 0097-5397. - STAMPA. - 31(3):(2002), pp. 947-986. [10.1137/S0097539700377864]
Proof Techniques for Cryptographic Processes
BOREALE, MICHELE;PUGLIESE, ROSARIO
2002
Abstract
Proof Techniques for Cryptographic Processes
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
02SICOMP-Proof Techniques for Cryptographic Processes.pdf
Accesso chiuso
Tipologia:
Altro
Licenza:
Tutti i diritti riservati
Dimensione
431.37 kB
Formato
Adobe PDF
|
431.37 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
