Visual Model-Driven Design, Verification and Implementation of Security Protocols

Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: Visual Model-Driven Design, Verification and Implementation of Security Protocols
Autori: Bettassa Copet P., Pironti A., Pozza D., Sisto R., Vivoli P.
Autori di ateneo:
Intervallo pagine: pp. 62-65
Tipo di referee: Tipo non specificato
Editore: IEEE
ISBN: 9781467347426
Titolo del convegno: 14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012)
Luogo dell'evento: Omaha, Nebraska
Data dell'evento: October 25-27, 2012
Rilevanza dell'evento: Internazionale
Luogo di pubblicazione: Piscataway, N.J.
Abstract: A novel visual model-driven approach to security protocol design, verification, and implementation is presented in this paper. User-friendly graphical models are combined with rigorous formal methods to enable protocol verification and sound automatic code generation. Domain-specific abstractions keep the graphical models simple, yet powerful enough to represent complex, realistic protocols such as SSH. The main contribution is to bring together aspects that were only partially available or not available at all in previous proposals
Data: 2012
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: model-driven development, visual models, formal methods, security protocols
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: 14 Nov 2012 12:38
Data ultima modifica (IRIS): 25 Nov 2013 12:06:52
Data inserimento (PORTO): 12 Gen 2015 18:53
Numero Identificativo (DOI): 10.1109/HASE.2012.23
Permalink: http://porto.polito.it/id/eprint/2504208
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 (hase2012_porto) - Postprint
Accesso al documento: Visibile (Ad accesso aperto)
Licenza: Pubblico - Tutti i diritti riservati.

Download (3368Kb (3449002 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...