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

Dettagli Bibliografici
Autore principale: Lowe, G
Natura: Conference item
Pubblicazione: Springer 1996