@book{Kremer11,
  title = {Modelling and analyzing security protocols in cryptographic process calculi},
  author = {Steve Kremer},
  year = {2011},
  url = {https://tel.archives-ouvertes.fr/tel-00636769},
  researchr = {https://researchr.org/publication/Kremer11},
  cites = {0},
  citedby = {0},
}