The JavaSPI Framework for Security Protocol Implementation

Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: The JavaSPI Framework for Security Protocol Implementation
Autori: Avalle M., Pironti A., Sisto R., Pozza D.
Autori di ateneo:
Intervallo pagine: pp. 746-751
Editore: IEEE
ISBN: 9781457709791
Titolo del convegno: Sixth International Conference on Availability, Reliability and Security (ARES)
Luogo dell'evento: Vienna (Austria)
Data dell'evento: 22-26 Aug. 2011
Rilevanza dell'evento: Internazionale
Luogo di pubblicazione: New York
Data: 2011
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: formal methods, security protocols, model-driven development, java, proverif
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: 08 Nov 2011 18:08
Data ultima modifica (IRIS): 25 Nov 2013 12:02:22
Data inserimento (PORTO): 14 Gen 2015 01:42
Numero Identificativo (DOI): 10.1109/ARES.2011.117
Permalink: http://porto.polito.it/id/eprint/2460419
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]
Preview
PDF (The_JavaSPI_Framework_for_security_protocol_implementation) - Postprint
Accesso al documento: Visibile (Ad accesso aperto)
Licenza: Pubblico - Tutti i diritti riservati.

Download (561Kb (575250 bytes)) | Preview

Azioni (richiesto il login)

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

Statistiche sul Download degli allegati

Altre statistiche su questa pubblicazione...