Automated Formal Methods for Security Protocol Engineering

Il contenuto (Full text) non è disponibile all'interno di questo archivio. Spedisci una richiesta all'autore per una copia del documento
Tipo di pubblicazione: Capitolo di libro
Tipologia MIUR: Contributo in Volume > Contributo in volume( Capitolo o Saggio)
Titolo: Automated Formal Methods for Security Protocol Engineering
Autori: Pironti A.; Pozza D.; Sisto R.
Autori di ateneo:
Titolo del libro: Cyber Security Standards, Practices and Industrial Applications - Systems and Methodologies / Zubairi J. A., Mahboob A.
Intervallo pagine: pp. 138-166
Editore: IGI Global
Luogo di pubblicazione: Hershey PA
ISBN: 9781609608514
Data: 2011
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: formal methods, security protocols, protocol engineering
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 2011 10:29
Data ultima modifica (IRIS): 01 Feb 2016 12:43:48
Data inserimento (PORTO): 05 Feb 2016 03:53
Numero Identificativo (DOI): 10.4018/978-1-60960-851-4.ch008
Permalink: http://porto.polito.it/id/eprint/2460578
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

+
-

Azioni (richiesto il login)

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