Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloEfficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis
Anno di pubblicazione2008
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, Torino, Italy
Autori CNR e affiliazioni
  • RICCARDO SISTO
  • LUCA DURANTE VQR
  • ADRIANO VALENZANO VQR
  • IVAN CIBRARIO BERTOLOTTI VQR
Lingua/e
  • inglese
AbstractThis paper addresses the problem of representing the intruder's knowledge in the formal verification of cryptographic protocols, whose main challenges are to represent the intruder's knowledge efficiently and without artificial limitations on the structure and size of messages. The new knowledge representation strategy proposed in this paper achieves both goals and leads to practical implementation because it is incrementally computable and is easily amenable to work with various term representation languages. In addition, it handles associative and commutative term composition operators, thus going beyond the free term algebra framework. An extensive computational complexity analysis of the proposed representation strategy is included in the paper.
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da303
Pagine a348
Pagine totali46
RivistaFormal aspects of computing
Attiva dal 1989
Editore: Springer - London
Paese di pubblicazione: Regno Unito
Lingua: inglese
ISSN: 0934-5043
Titolo chiave: Formal aspects of computing
Titolo proprio: Formal aspects of computing.
Titolo abbreviato: Form. asp. comput.
Titoli alternativi:
  • Formal aspects of computing (Print)
  • FAC (Print)
Numero volume della rivista20
Fascicolo della rivista3
DOI10.1007/s00165-008-0078-3
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:000255743300006)
  • Scopus (Codice:2-s2.0-43449093119)
Parole chiaveCryptographic protocols, Knowledge representation, State space exploration
Link (URL, URI)http://www.springerlink.com/content/4l1mmn0l306020nj/
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
    • Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols 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 London Limited, London (Regno Unito)

    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
    Rivista ISIFORMAL ASPECTS OF COMPUTING [00315NN]