ASPIER: An Automated Framework for Verifying Security Protocol Implementations
An efficient cryptographic protocol verifier based on prolog rules