Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloImproving the Security of Industrial Networks by Means of Formal Verification
Anno di pubblicazione2007
  • Elettronico
  • Cartaceo
Autore/iI. Cibrario Bertolotti; L. Durante; P. Maggi; R. Sisto; A. Valenzano
Affiliazioni autoriI. Cibrario Bertolotti; L. Durante; A. Valenzano: CNR-IEIIT, Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni, Torino, Italy P. Maggi; R. Sisto: Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy
Autori CNR e affiliazioni
  • inglese
AbstractComputer networks are exposed to serious security threats that can even have catastrophic consequences from both the points of view of economy and safety if such networks control critical infrastructures, such as for example industrial plants. Security must then be considered as a fundamental issue starting from the earlier phases of the design of a system, and suitable techniques and tools should be adopted to satisfy the security-related requirements. The focus of this paper is on how formal methods can help in analysing the standard cryptographic protocols used to implement security-critical services such as authentication and secret keys distribution in critical environments. The analysis of the 802.11 shared key authentication protocol by S(3)A, a fully automatic software tool that is based on a formal approach, is illustrated as a case study, which also highlights the peculiarities of analysing protocols based on wireless channels.
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da387
Pagine a397
Pagine totali11
RivistaComputer standards & interfaces
Attiva dal 1986
Editore: North-Holland - Amsterdam
Paese di pubblicazione: Paesi Bassi
Lingua: inglese
ISSN: 0920-5489
Titolo chiave: Computer standards & interfaces
Titolo proprio: Computer standards & interfaces.
Titolo abbreviato: Comput. stand. interfaces
Titolo alternativo: Computer standards and interfaces
Numero volume della rivista29
Fascicolo della rivista3
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:000244582300011)
  • Scopus (Codice:2-s2.0-33846597676)
Parole chiaveprotocol verification, formal methods, network-level security and protection
Link (URL, URI)
Titolo parallelo-
Data di accettazione-
Note/Altre informazioni-
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli/Attività/Sottoprogetti CNR
  • ICT.P09.008.001 : Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità
  • ICT.P07.004.001 : Reti e Protocolli per l'Automazione ed il Controllo di Processo
Progetti Europei-
Improving the Security of Industrial Networks by Means of Formal Verification (documento privato )
Tipo documento: application/pdf

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.
  • Elsevier BV, Amsterdam (Paesi Bassi)

Dati storici
I dati storici non sono modificabili, sono stati ereditati da altri sistemi (es. Gestione Istituti, PUMA, ...) e hanno solo valore storico.
Area disciplinareComputer Science & Engineering
Area valutazione CIVRIngegneria industriale e informatica