Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR - Lowe, G (Springer, 1996)