@TECHREPORT{Lowe98,
  AUTHOR = {Gavin Lowe},
  TITLE = {Towards a completeness result for model checking of security protocols},
  INSTITUTION = {Dept. of Mathematics and Computer Science, University of Leicester},
  YEAR = 1998,
  NUMBER = {1998/6}
}