@phdthesis{basesearch-14400,
  title = {Models and methods for the automated analysis of security protocols},
  author = {Sebastian Mödersheim},
  year = {2007},
  url = {https://www.base-search.net/Record/c792ea4e279f3e58a3596c0088d00e4906ddccd69c968fe75e30224767349044},
  note = {base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/4063)},
  researchr = {https://researchr.org/publication/basesearch-14400},
  cites = {0},
  citedby = {0},
  school = {ETH Zurich, Zürich, Switzerland},
}