Compiling and securing cryptographic protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2009

Compiling and securing cryptographic protocols

Résumé

Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequences of operations to be performed by each role. Unlike previous works, we reduce this compilation process to well-known decision problems in formal protocol analysis. This allows one to define a natural notion of prudent translation and to reuse many known results from the literature in order to cover more crypto-primitives. In particular this work is the first one to show how to compile protocols parameterised by the properties of the available operations.
Fichier principal
Vignette du fichier
compil-RR.pdf (181.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00426669 , version 1 (27-10-2009)

Identifiants

  • HAL Id : inria-00426669 , version 1
  • ARXIV : 0910.5099

Citer

Yannick Chevalier, Michael Rusinowitch. Compiling and securing cryptographic protocols. [Research Report] 2009, pp.12. ⟨inria-00426669⟩
99 Consultations
210 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More