@inproceedings{conf/csfw/Lowe98,
  title = "Towards a Completeness Result for Model Checking of Security Protocols",
  author = "Gavin Lowe",
  year = "1998",
  booktitle = "Computer Security Foundations Workshop",
  pages = "96-105",
  url = "http://dlib.computer.org/conferen/csfw/8488/pdf/84880096.pdf",
}