Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloA New Knowledge Representation Strategy for Cryptographic Protocol Analysis
Anno di pubblicazione2003
Formato
  • Elettronico
  • Cartaceo
Autore/iI. Cibrario Bertolotti; L. Durante; 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 R. Sisto: CNR-IEIIT e Dipartimento di Automatica e Informatica, Politecnico di Torino, Italy
Autori CNR e affiliazioni
  • RICCARDO SISTO
  • LUCA DURANTE
  • ADRIANO VALENZANO
  • IVAN CIBRARIO BERTOLOTTI
Lingua/e
  • inglese
AbstractThe formal verifiation of security properties of a cryptographic protocol is a diffcult, albeit very important task as more and more sensible resources are added to public networks. This paper is focused on model checking; when adopting this approach to the problem, one challenge is to represent the intruder's knowledge in an effective way. We present an intruder's knowledge representation strategy that supports the full term language of spi calculus and does not pose artificial restrictions, such as atomicity or limited maximum size, to language elements. In addition, our approach leads to practical implementation because the knowledge representation is incrementally computable and is easily amenable to work with various term representation languages.
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da284
Pagine a298
Pagine totali15
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 rivista2619
Fascicolo della rivista-
DOI10.1007/3-540-36577-X_21
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:000183012400020)
Parole chiaveformal analysis, cryptographic protocols, attacker's knowledge, free-term algebras, spi calculus
Link (URL, URI)http://www.springerlink.com/content/uua2nrmvy8cehjtx/
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
    • A New Knowledge Representation Strategy for Cryptographic Protocol Analysis

    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-Verlag, Berlin/Heidelberg (Germania)

    Dati storici
    I dati storici non sono modificabili, sono stati ereditati da altri sistemi (es. Gestione Istituti, PUMA, ...) e hanno solo valore storico.
    Rivista ISILECTURE NOTES IN COMPUTER SCIENCE [00538S0]