Tomas Flanagan - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 3 from 3

2003

On Different Approaches to Establish the Security of Cryptographic ProtocolsTom Coffey, Reiner Dojen, Tomas Flanagan. csreaSAM 2003: 637-643

Formal verification: an imperative step in the design of security protocols Tom Coffey, Reiner Dojen, Tomas Flanagan. cn, 43(5):601-618, 2003. [doi]

On the automated implementation of modal logics used to verify security protocolsTom Coffey, Reiner Dojen, Tomas Flanagan. isict 2003: 329-334 [doi]

Sign in or sign up to see more results.

runs on WebDSL