Spi2Java: automatic cryptographic protocol java code generation from spi calculus / Pozza, Davide; Sisto, Riccardo; Durante, L.. - 1:(2004), pp. 400-405. ((Intervento presentato al convegno 18th Int. Conf. on Advanced Information, Networking and Applications nel March 2004.

Spi2Java: automatic cryptographic protocol java code generation from spi calculus

POZZA, DAVIDE;SISTO, Riccardo;
2004

9780769520513
File in questo prodotto:
File Dimensione Formato  
AINA2004_author_postprint.pdf

accesso aperto

Tipologia: 2. Post-print / Author's Accepted Manuscript
Licenza: PUBBLICO - Tutti i diritti riservati
Dimensione 117.75 kB
Formato Adobe PDF
117.75 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11583/1418142
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo