Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis (Articolo in rivista) (literal)

Anno

• 2008-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/s00165-008-0078-3 (literal)

Alternative label

• I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano (2008)
  Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis
  in Formal aspects of computing; Springer-Verlag London Limited, London (Regno Unito)
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano (literal)

Pagina inizio

• 303 (literal)

Pagina fine

• 348 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.springerlink.com/content/4l1mmn0l306020nj/ (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 20 (literal)

Rivista

• Formal aspects of computing (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 46 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

• 3 (literal)

Note

• Scopu (literal)
• ISI Web of Science (WOS) (literal)
• Google Scholar (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• 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 (literal)

Titolo

• Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis (literal)

Abstract

• This 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. (literal)

Editore

• Springer-Verlag London Limited (Editore)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001) (Modulo)
• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)

Autore CNR

• ADRIANO VALENZANO (Persona)
• IVAN CIBRARIO BERTOLOTTI (Persona)
• RICCARDO SISTO (Persona)
• LUCA DURANTE (Unità di personale interno)

Insieme di parole chiave

• Keywords of "Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001) (Modulo)

Autore CNR di

• IVAN CIBRARIO BERTOLOTTI (Persona)
• ADRIANO VALENZANO (Persona)
• LUCA DURANTE (Unità di personale interno)
• RICCARDO SISTO (Persona)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Formal aspects of computing (Rivista)

Editore di

• Springer-Verlag London Limited (Editore)

Insieme di parole chiave di

• Keywords of "Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis" (Insieme di parole chiave)