A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista)

Type

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

Label

• A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista) (literal)

Anno

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

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

• 10.1007/3-540-36577-X_21 (literal)

Alternative label

• I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano (2003)
  A New Knowledge Representation Strategy for Cryptographic Protocol Analysis
  in Lecture notes in computer science; Springer-Verlag, Berlin/Heidelberg (Germania)
  (literal)

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

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

Pagina inizio

• 284 (literal)

Pagina fine

• 298 (literal)

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

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

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

• 2619 (literal)

Rivista

• Lecture notes in computer science (Rivista)

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

• 15 (literal)

Note

• SpringerLink (literal)
• ACM DL (literal)
• Scopus (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, Italy (literal)

Titolo

• A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (literal)

Abstract

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

Editore

• Springer-Verlag (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

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

Insieme di parole chiave

• Keywords of "A New Knowledge Representation Strategy for Cryptographic Protocol 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)

Editore di

• Springer-Verlag (Editore)

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

• Lecture notes in computer science (Rivista)

Insieme di parole chiave di

• Keywords of "A New Knowledge Representation Strategy for Cryptographic Protocol Analysis" (Insieme di parole chiave)