Proof Techniques for Cryptographic Processes / DE NICOLA, R; M., Boreale; R., Pugliese. - (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.

