Formally based semi-automatic implementation of an open security protocol

Tipo di pubblicazione: Articolo su rivista
Tipologia MIUR: Contributo su Rivista > Articolo in rivista
Titolo: Formally based semi-automatic implementation of an open security protocol
Autori: Pironti A.; Pozza D.; Sisto R.
Autori di ateneo:
Titolo del periodico: THE JOURNAL OF SYSTEMS AND SOFTWARE
Tipo di referee: Tipo non specificato
Editore: Elsevier Science
Volume: 85
Numero: 4
Intervallo pagine: pp. 835-849
Numero di pagine: 15
ISSN: 0164-1212
Data: 2012
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: model-driven-development, security protocols, automatic code generation, 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: 14 Nov 2011 18:24
Data ultima modifica (IRIS): 22 Apr 2016 13:54:18
Data inserimento (PORTO): 30 Apr 2016 01:02
Numero Identificativo (DOI): 10.1016/j.jss.2011.10.052
Permalink: http://porto.polito.it/id/eprint/2460617
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 (jss2011_postprint.pdf) - Postprint
Accesso al documento: Visibile (Ad accesso aperto)
Licenza: Pubblico - Tutti i diritti riservati.

Download (501Kb (513038 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...