Compiling and securing cryptographic protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2009

Compiling and securing cryptographic protocols

Abstract

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)

Identifiers

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

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More