Analysis of cryptographic protocols: from symbolic to computational models

Analysis of cryptographic protocols: from symbolic to computational models. Véronique Cortier. Habilitation à diriger des recherches (Habilitation to conduct research), Institut National Polytechnique de Lorraine, 2009.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@phdthesis{HDR-CORTIER-2009,
  author =        {Cortier, V{\'e}ronique},
  month =         nov,
  school =        {Institut National Polytechnique de Lorraine},
  type =          {Habilitation \`a diriger des recherches (Habilitation to conduct research)},
  title =         {Analysis of cryptographic protocols: from symbolic to computational models},
  year =          {2009},
}