Tomas Flanagan

According to our database, Tomas Flanagan authored at least 3 papers in 2003.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2003

Formal verification: an imperative step in the design of security protocols .

Tom Coffey, Reiner Dojen, Tomas Flanagan

Comput. Networks, 2003

On the automated implementation of modal logics used to verify security protocols.

Tom Coffey, Reiner Dojen, Tomas Flanagan

Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, 2003

On Different Approaches to Establish the Security of Cryptographic Protocols.

Tom Coffey, Reiner Dojen, Tomas Flanagan

Proceedings of the International Conference on Security and Management, 2003