Journal article icon

Journal article

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

Actions


Authors


Gavin Lowe More by this author
Journal:
Software − Concepts and Tools
Volume:
17
Issue:
3
Pages:
93-102
Publication date:
1996
URN:
uuid:c90524f2-c405-4154-888e-82d95d69ec82
Local pid:
cs:644

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP