The Game of the Name in Cryptographic Tables - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1999

The Game of the Name in Cryptographic Tables

Sanjiva Prasad
  • Fonction : Auteur

Résumé

We present a name-passing calculus that can be regarded as a simplified pi-calculus equipped with a cryptographic table. The latter is a data structure representing the relationships among names. We apply the calculus to the modelling and verification of secrecy and authenticity properties in cryptographic protocols relying on symmetric shared keys. Following classical approaches [8], we formulate the verification task as a reachability problem and prove its decidability assuming finite principals and bounds on the sorts of the messages synthesized by the attacker.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-3733.pdf (270.83 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00072932 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072932 , version 1

Citer

Roberto M. Amadio, Sanjiva Prasad. The Game of the Name in Cryptographic Tables. RR-3733, INRIA. 1999. ⟨inria-00072932⟩
206 Consultations
166 Téléchargements

Partager

Gmail Facebook X LinkedIn More