Tomas Flanagan

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

Tom Coffey, Reiner Dojen, Tomas Flanagan
On the automated implementation of modal logics used to verify security protocols. ISICT (2003)
Tom Coffey, Reiner Dojen, Tomas Flanagan
Formal verification: an imperative step in the design of security protocols . Comput. Networks 43 (5) (2003)
Tom Coffey, Reiner Dojen, Tomas Flanagan
On Different Approaches to Establish the Security of Cryptographic Protocols. Security and Management (2003)