Ernie Cohen First-order Verification of Cryptographic Protocols. 189-216 2003 11 Journal of Computer Security 2 db/journals/jcs/jcs11.html#Cohen03