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

Detalhes bibliográficos
Autor principal: Lowe, G
Formato: Conference item
Publicado em: Springer 1996