An efficient cryptographic protocol verifier based on prolog rules | IEEE Conference Publication | IEEE Xplore