@article{journals/jcs/Lowe99,
  title = "Towards a Completeness Result for Model Checking of Security Protocols",
  author = "Gavin Lowe",
  year = "1999",
  journal = "Journal of Computer Security",
  number = "1",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/completeness.ps",
  volume = "7",
}