@article{journals/stp/Lowe96,
  title = "Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR",
  author = "Gavin Lowe",
  year = "1996",
  journal = "Software - Concepts and Tools",
  number = "3",
  pages = "93-102",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/NSFDR.ps",
  volume = "17",
}