Archivio Istituzionale della RicercaSpi2Java: 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
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