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

Bibliographic Details
Main Author: Lowe, G
Format: Conference item
Published: Springer 1996