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 VQR
  • MANUEL CHEMINOD
  • LUCA DURANTE VQR
  • ADRIANO VALENZANO VQR
  • IVAN CIBRARIO BERTOLOTTI VQR
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 CNR
    Progetti Europei-
    Allegati
    • Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison

    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]