Analyzing a Library of Security Protocols using Casper and FDR - Donovan, B; Norris, P; Lowe, G (1999)