Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
Gavin Lowe
Book Title
Tools and Algorithms for Construction and Analysis of Systems‚ Second International Workshop‚ TACAS '96‚ Passau‚ Germany‚ March 27−29‚ 1996‚ Proceedings
Editor
Tiziana Margaria and Bernhard Steffen
ISBN
3−540−61042−1
Pages
147−166
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1055
Year
1996