Gavin Lowe. Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Software - Concepts and Tools, 17(3):93-102, 1996.
@article{Lowe96:1, title = {Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR}, author = {Gavin Lowe}, year = {1996}, tags = {protocol}, researchr = {https://researchr.org/publication/Lowe96%3A1}, cites = {0}, citedby = {0}, journal = {Software - Concepts and Tools}, volume = {17}, number = {3}, pages = {93-102}, }