Steve Kremer: Modelling and analyzing security protocols in cryptographic process calculi

Modelling and analyzing security protocols in cryptographic process calculi

Steve Kremer. Modelling and analyzing security protocols in cryptographic process calculi. Mémoire d'habilitation, École Normale Supérieure de Cachan, France, 2011.

Download

[PDF]

Abstract

(unavailable)

BibTeX

@phdthesis{kremer-HDR11,
  author =        {Kremer, Steve},
  month =         mar,
  school =        {{\'E}cole Normale Sup{\'e}rieure de Cachan, France},
  type =          {M{\'e}moire d'habilitation},
  title =         {Modelling and analyzing security protocols in
                   cryptographic process calculi},
  year =          {2011},
  nmonth =        {3},
  url =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/hdr-SK.pdf},
}