Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloIntroducing Commutative and Associative Operators in 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
AbstractMany formal techniques for the verification of cryptographic protocols rely on the abstract definition of cryptographic primitives, such as shared, private and public key encryption. This approach prevents the analysis of those protocols that explicitly use commutative and associative algebraic operators to build their messages such as, for example, the Diffie-Hellman key-exchange protocol. This paper investigates the possibility of handling operators which exhibit special properties by considering a stand-alone extension to the way most known popular techniques handle messages exchanged during the protocol sessions. Such an extension makes the new operators tractable by automatic model checking techniques. The properties examined in this paper are commutativity and associativity.
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da224
Pagine a239
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 rivista2767
Fascicolo della rivista-
DOI10.1007/978-3-540-39979-7_15
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:000187325300015)
Parole chiaveformal analysis, cryptographic protocols, attacker's knowledge, term algebras
Link (URL, URI)http://www.springerlink.com/content/y5lpvmmrm9ffe9vh/
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
    • Introducing Commutative and Associative Operators in 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 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.
    Rivista ISILECTURE NOTES IN COMPUTER SCIENCE [00538S0]