Compiling and securing cryptographic protocols - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2009

Compiling and securing cryptographic protocols

(1) , (1)


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
Origin : Files produced by the author(s)

Dates and versions

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


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


Yannick Chevalier, Michael Rusinowitch. Compiling and securing cryptographic protocols. [Research Report] 2009, pp.12. ⟨inria-00426669⟩
93 View
195 Download



Gmail Facebook Twitter LinkedIn More