Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus (Contributo in atti di convegno) (literal)

Anno

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

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

• 10.1109/AINA.2004.1283943 (literal)

Alternative label

• L. Durante; D. Pozza; R. Sisto (2004)
  Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus
  in 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka, 29-31 marzo 2004
  (literal)

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

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

Pagina inizio

• 400 (literal)

Pagina fine

• 405 (literal)

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

• Insignito del riconoscimento \"High Honor Paper Award\" (literal)

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

• http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1283943 (literal)

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

• 6 (literal)

Note

• ACM DL (literal)
• Scopus (literal)
• IEEE Xplore digital library (literal)
• INSPEC (literal)
• Google Scholar (literal)

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

• L. Durante: CNR-IEIIT, Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni, Torino, Italy D. Pozza: Dipartimento di Automatica e Informatica, Politecnico di Torino, Italy R. Sisto: CNR-IEIIT e Dipartimento di Automatica e Informatica, Politecnico di Torino, Italy (literal)

Titolo

• Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus (literal)

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

• 0-7695-2051-0 (literal)

Abstract

• The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language spi calculus. Spi2Java is part of a set of tools for spi calculus, also including a preprocessor, a parser, and a security analyzer. The latter can formally analyze protocols and detect protocol flaws. When a protocol has been analyzed and an adequate confidence about its correctness has been reached, Spi2Java can generate a corresponding correct Java implementation of the protocol, thus dramatically reducing the risk of introducing security flaws in the coding phase. (literal)

Editore

• IEEE Computer Society (Editore)

Prodotto di

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001) (Modulo)

Autore CNR

• RICCARDO SISTO (Persona)
• LUCA DURANTE (Unità di personale interno)

Insieme di parole chiave

• Keywords of "Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001) (Modulo)

Autore CNR di

• LUCA DURANTE (Unità di personale interno)
• RICCARDO SISTO (Persona)

Editore di

• IEEE Computer Society (Editore)

Insieme di parole chiave di

• Keywords of "Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus" (Insieme di parole chiave)