On Different Approaches to Establish the Security of Cryptographic Protocols. - Tom Coffey; Reiner Dojen; Tomas Flanagan (Security and Management, 2003)

On the automated implementation of modal logics used to verify security protocols. - Tom Coffey; Reiner Dojen; Tomas Flanagan (ISICT, 2003)

Formal verification: an imperative step in the design of security protocols . - Tom Coffey; Reiner Dojen; Tomas Flanagan (Comput. Networks, 2003)