Skip to main content

Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR

Gavin Lowe

Journal
Software − Concepts and Tools
Number
3
Pages
93−102
Volume
17
Year
1996