Search the dblp DataBase
Tomas Flanagan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Tom Coffey, Reiner Dojen, Tomas Flanagan
On Different Approaches to Establish the Security of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
Security and Management, 2003, pp:637-643 [Conf] - Tom Coffey, Reiner Dojen, Tomas Flanagan
Formal verification: an imperative step in the design of security protocols . [Citation Graph (0, 0)][DBLP]
Computer Networks, 2003, v:43, n:5, pp:601-618 [Journal] - Tom Coffey, Reiner Dojen, Tomas Flanagan
On the automated implementation of modal logics used to verify security protocols. [Citation Graph (0, 0)][DBLP]
ISICT, 2003, pp:329-334 [Conf]
Search in 0.003secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002