Spi2Java: Automatic Cryptographic Protocol Java Code Generation from Spi Calculus (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• Spi2Java: Automatic Cryptographic Protocol Java Code Generation from Spi Calculus (Articolo in rivista) (literal)

Anno

• 2004-01-01T00:00:00+01:00 (literal)

Alternative label

• L. Durante, R. Sisto, D. Pozza (2004)
  Spi2Java: Automatic Cryptographic Protocol Java Code Generation from Spi Calculus
  
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• L. Durante, R. Sisto, D. Pozza (literal)

Pagina inizio

• 400 (literal)

Pagina fine

• 405 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• Proc. of 8th International IEEE Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan) (literal)

Titolo

• Spi2Java: Automatic Cryptographic Protocol Java Code Generation from Spi Calculus (literal)

Prodotto di

• Institute of Electronics, Computer and Telecommunication Engineering (IEIIT) (Istituto)
• Reti e Protocolli per l'Automazione ed il Controllo di Processo (ICT.P07.004.001) (Modulo)

Autore CNR

• LUCA DURANTE (Persona)

Incoming links:

Prodotto

• Institute of Electronics, Computer and Telecommunication Engineering (IEIIT) (Istituto)
• Reti e Protocolli per l'Automazione ed il Controllo di Processo (ICT.P07.004.001) (Modulo)

Autore CNR di

• LUCA DURANTE (Persona)