@article{journals/ipl/Lowe95, title = "An Attack on the Needham-Schroeder Public-Key Authentication Protocol", author = "Gavin Lowe", year = "1995", journal = "Information Processing Letters", number = "3", pages = "131-133", url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/NSPKP.ps", volume = "56", doi = "10.1016/0020-0190(95)00144-2", }