Spi2Java: automatic cryptographic protocol java code generation from spi calculus / Pozza, Davide; Sisto, Riccardo; Durante, L.. - STAMPA. - 1:(2004), pp. 400-405. (Intervento presentato al convegno 18th International Conference on Advanced Information, Networking and Applications tenutosi a Fukuoka, Japan nel March 2004) [10.1109/AINA.2004.1283943].

Spi2Java: automatic cryptographic protocol java code generation from spi calculus

POZZA, DAVIDE;SISTO, Riccardo;DURANTE L.
2004

2004
0-7695-2051-0
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
Spi2Java_automatic_cryptographic_protocol_Java_code_generation_from_spi_calculus.pdf

non disponibili

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 325.92 kB
Formato Adobe PDF
325.92 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
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: https://hdl.handle.net/11583/1418142