Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloAutomatic Detection of Attacks on Cryptographic Protocols: A Case Study
Anno di pubblicazione2005
Formato
  • Elettronico
  • Cartaceo
Autore/iI. Cibrario Bertolotti; L. Durante; A. Valenzano; R. Sisto
Affiliazioni autoriI. 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
  • LUCA DURANTE VQR
  • ADRIANO VALENZANO VQR
  • IVAN CIBRARIO BERTOLOTTI VQR
Lingua/e
  • inglese
AbstractRecently, a new verification tool for cryptographic protocols called S3A (Spi Calculus Specifications Symbolic Analyzer) has been developed, which is based on exhaustive state space exploration and symbolic data representation, and overcomes most of the limitations of previously available tools. In this paper we present some insights on the ability of S3A to detect complex type flaw attacks, using a weakened version of the well-known Yahalom authentication protocol as a case study. The nature of the attack found by S3A makes it very difficult to spot by hand, thus showing the usefulness of analyis tools of this kind in real-world protocol analysis.
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da69
Pagine a84
Pagine totali16
RivistaLecture notes in computer science
Attiva dal 1973
Editore: Springer - Berlin
Paese di pubblicazione: Germania
Lingua: multilingue
ISSN: 0302-9743
Titolo chiave: Lecture notes in computer science
Titolo proprio: Lecture notes in computer science.
Titolo abbreviato: Lect. notes comput. sci.
Titoli alternativi:
  • Lecture notes in computer science. Lecture notes in artificial intelligence
  • Lecture notes in artificial intelligence
  • LNCS. Lecture notes in computer science (Print)
  • Lecture notes in computer science (Print)
  • Lecture notes in computer science. LNAI. Lecture notes in artificial intelligence
  • Lecture notes in computer science. Lecture notes in bioinformatics (Print)
  • Lecture notes in computer science. Journal subline
Numero volume della rivista3548
Fascicolo della rivista-
DOI10.1007/11506881_5
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:000230887600005)
  • Scopus (Codice:2-s2.0-26444506181)
Parole chiavenetwork security, cryptographic protocols, formal techniques, automatic s/w tools
Link (URL, URI)http://www.springerlink.com/content/nfh1q8bkuq4m8jhv/
Titolo parallelo-
Data di accettazione-
Note/Altre informazioniProceedings of the Second International Conference on Intrusion and Malware Detection and Vulnerability Assessment (DIMVA 2005)
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli CNR
    Progetti Europei-
    Allegati
    • Automatic Detection of Attacks on Cryptographic Protocols: A Case Study

    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
    • Springer Berlin / Heildelberg, Berlin (Germania)

    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 ISILECTURE NOTES IN COMPUTER SCIENCE [00538S0]
    NoteProc. of the Second International Conference on Intrusion and Malware Detection and Vulnerability Assessment (DIMVA 2005)