Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloFormal Vulnerability Analysis of a Security System for Remote Fieldbus Access
Anno di pubblicazione2011
FormatoCartaceo
Autore/iCheminod, Manuel; Pironti, Alfredo; Sisto, Riccardo
Affiliazioni autoriIEIIT, National Research Council; Dipartimento di Automatica e Informatica, Politecnico di Torino; Dipartimento di Automatica e Informatica, Politecnico di Torino;
Autori CNR e affiliazioni
  • RICCARDO SISTO
  • MANUEL CHEMINOD
Lingua/e
  • inglese
AbstractAs fieldbus networks are becoming accessible from the Internet, security mechanisms to grant access only to authorized users and to protect data are becoming essential. This paper proposes a formally based approach to the analysis of such systems, both at the security protocols level and at the system architecture level. This multilevel analysis allows the evaluation of the effects of an attack on the overall system, due to security problems that affect the underlying security protocols. A case study on a typical fieldbus security system validates the approach.
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da30
Pagine a40
Pagine totali11
RivistaIEEE transactions on industrial informatics
Attiva dal 2005
Editore: Institute of Electrical and Electronics Engineers, - Piscataway, NJ
Paese di pubblicazione: Stati Uniti d'America
Lingua: inglese
ISSN: 1551-3203
Titolo chiave: IEEE transactions on industrial informatics
Titolo proprio: IEEE transactions on industrial informatics
Titolo abbreviato: IEEE trans. industr. inform.
Titoli alternativi:
  • Institute of Electrical and Electronics Engineers transactions on industrial informatics
  • Transactions on industrial informatics
  • Industrial informatics
Numero volume della rivista7
Fascicolo della rivista1
DOI10.1109/TII.2010.2099233
Verificato da refereeSì: Internazionale
Stato della pubblicazionePublished version
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:000287087000003)
  • Scopus (Codice:2-s2.0-79951577827)
Parole chiaveComputer security, cryptographic protocols, formal specifications, formal verification, industrial control, supervisory control and data acquisition (SCADA) systems
Link (URL, URI)http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5685603
Titolo parallelo-
Data di accettazione27/11/2010
Note/Altre informazioni-
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli CNR
    Progetti Europei-
    Allegati
    • Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access
      Descrizione: Versione pubblicata

    Dati associati a vecchie tipologie
    I dati associati a vecchie tipologie non sono modificabili, derivano dal cambiamento della tipologia di prodotto e hanno solo valore storico.
    Citazione bibliograficaIEEE Transactions on Industrial Informatics, vol. 7, issue 1, pp. 30-40, 2011