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

Bibliographic Details
Main Author: Lowe, G
Format: Journal article
Published: 1996