The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
An efficient cryptographic protocol verifier based on prolog rules