G. Lowe, “Breaking and fixing the Needham-Schroeder public-key authentication protocol sing CSP and FDR,” in Proceedings of the 2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS '96), vol. 1055 of Lecture Notes in Computer Science, Springer, 1996.View at Google Scholar