Proof Techniques for Cryptographic Processes / DE NICOLA, R., M., B., R., P.. - (1999), pp. 157-166.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


