An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation

Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
Autori: Pironti A.; Sisto R
Autori di ateneo:
Intervallo pagine: pp. 839-844
Tipo di referee: Tipo non specificato
Editore: IEEE Computer Society
ISBN: 9781424415205
Titolo del convegno: IEEE Symposium on Computers and Communications (ISCC 07)
Luogo dell'evento: Aveiro, Portugal
Data dell'evento: 1-4 July 2007
Rilevanza dell'evento: Internazionale
Abstract: Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version of spi2Java has been enhanced in order to enable interoperability of the generated implementations. The new features that have been added to spi2Java are reported here. A case study on the SSH transport layer protocol, along with some experiments and measures on the generated code, is also provided. The case study shows, with facts, that reliable and interoperable implementations of standard security protocols can indeed be obtained by using a code generation tool like spi2Java
Data: 2007
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: cryptographic protocols, java, security, spi2java
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
    Area disciplinare: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
    Data di deposito: 13 Dic 2007 15:56
    Data ultima modifica (IRIS): 09 Set 2016 13:07:59
    Data inserimento (PORTO): 04 Ott 2016 13:54
    Numero Identificativo (DOI): 10.1109/ISCC.2007.4381508
    Permalink: http://porto.polito.it/id/eprint/1659069
    Link resolver URL: Link resolver link
    Citazioni:

    Il campo presenta il numero di citazioni presenti sulle banche dati Scopus e Web of Science e permette di accedere ai relativi record. Visualizza inoltre il link al record presente su Google Scholar.

    Possono verificarsi discrepanze rispetto ai dati presenti sulle banche dati per i seguenti motivi:

    • Differenze tra i dati riportati su IRIS e quelli presenti nelle banche dati.
    • Il numero di citazioni riportate su PORTO viene estratto mensilmente. Il dato citazionale presente sulle singole banche dati è aggiornato in tempo reale
    • Il numero di citazioni per WoS viene calcolato sulla base delle collezioni in abbonamento (Science citation index Expanded e Conference Proceedings Citation Index)

    Per informazioni o segnalazioni contattare scrivia/porto

    +
    -

    Allegati

    [img] PDF (1659069.pdf) - Postprint
    Accesso al documento: Non visibile (accessibile solo al proprietario del dato)
    Licenza: Non pubblico - Accesso privato / Ristretto.

    Download (166Kb (170029 bytes)) | Spedisci una richiesta all'autore per una copia del documento
    [img] PDF (iscc07_author_postprint.pdf) - Postprint
    Accesso al documento: Visibile (Ad accesso aperto)
    Licenza: Pubblico - Tutti i diritti riservati.

    Download (167Kb (171042 bytes))

    Azioni (richiesto il login)

    Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)

    Statistiche sul Download degli allegati

    Altre statistiche su questa pubblicazione...