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},
}