Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR (1996)

by G Lowe
Venue:In 2nd International Workshop on Tools and Algorithms for