Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR.

Gavin Lowe

Browse the full TACAS paper archive.