Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloTools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison
Anno di pubblicazione2009
Formato
  • Elettronico
  • Cartaceo
Autore/iM. Cheminod; I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano
Affiliazioni autoriM. Cheminod; I. Cibrario Bertolotti; L. Durante; A. Valenzano: CNR-IEIIT, Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni. Torino, Italy R. Sisto: CNR-IEIIT e Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy
Autori CNR e affiliazioni
  • RICCARDO SISTO
  • MANUEL CHEMINOD
  • LUCA DURANTE
  • ADRIANO VALENZANO
  • IVAN CIBRARIO BERTOLOTTI
Lingua/e
  • inglese
AbstractThe tools for cryptographicprotocols analysis based on state exploration are designed to be completely automatic and should carry out their job with a reasonable amount of computing and storage resources, even when run by users having a limited amount of expertise in the field. This paper compares four tools of this kind to highlight their features and ability to detect bugs under the same experimental conditions. To this purpose, the ability of each tool to detect known flaws in a uniform set of well-known cryptographicprotocols has been checked. Results are also given on the relative performance of the tools when analysing several known-good protocols with an increasing number of parallel sessions.
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da954
Pagine a961
Pagine totali8
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 rivista31
Fascicolo della rivista5
DOI10.1016/j.csi.2008.09.030
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:000267879600010)
  • Scopus (Codice:2-s2.0-67349114068)
Parole chiaveProtocol verification, Formal methods, Network-level security and protection
Link (URL, URI)http://www.sciencedirect.com/science/article/pii/S0920548908001451
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-
Allegati
Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison (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.
Editore
  • ELSEVIER SCIENCE BV, PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS, 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
Rivista ISICOMPUTER STANDARDS & INTERFACES [06862J0]