Tom Coffey

	2011
19		Ioana Lasc, Reiner Dojen, Tom Coffey: Countering jamming attacks against an authentication and key agreement protocol for mobile satellite communications. Computers & Electrical Engineering 37(2): 160-168 (2011)
18		Ioana Lasc, Reiner Dojen, Tom Coffey: A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite Communications. IJISP 5(1): 33-49 (2011)
17		Fan Zhang, Reiner Dojen, Tom Coffey: Comparative performance and energy consumption analysis of different AES implementations on a wireless sensor network node. IJSNet 10(4): 192-201 (2011)
	2009
16		Reiner Dojen, Vladimir Pasca, Tom Coffey: Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications. MobiSec 2009: 278-287
	2008
15		Reiner Dojen, Anca Jurcut, Tom Coffey, Cornelia Györödi: On Establishing and Fixing a Parallel Session Attack in a Security Protocol. IDC 2008: 239-244
14		Reiner Dojen, Fan Zhang, Tom Coffey: On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks. IPCCC 2008: 499-506
13		Vladimir Pasca, Anca Jurcut, Reiner Dojen, Tom Coffey: Determining a parallel session attack on a key distribution protocol using a model checker. MoMM 2008: 150-155
	2006
12		Mihaela Dinsoreanu, Cristian Godja, Claudiu Anghel, Ioan Salomie, Tom Coffey: Mobile Agent Based Solutions for Knowledge Assessment in elearning Environments CoRR abs/cs/0605033: (2006)
	2005
11		Reiner Dojen, Tom Coffey: The concept of layered proving trees and its application to the automation of security protocol verification. ACM Trans. Inf. Syst. Secur. 8(3): 287-311 (2005)
	2003
10		Tom Coffey, Reiner Dojen: Analysis of a mobile communication security protocol. ISICT 2003: 322-328
9		Tom Coffey, Reiner Dojen, Tomas Flanagan: On the automated implementation of modal logics used to verify security protocols. ISICT 2003: 329-334
8		T. Newe, Tom Coffey: Security protocols for 2G and 3G wireless communications. ISICT 2003: 335-340
7		Tom Coffey, Puneet Saidha, Peter Burrows: Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt. ISICT 2003: 351-356
6		Marian Ventuneac, Tom Coffey, Ioan Salomie: A policy-based security framework for Web-enabled applications. ISICT 2003: 487-492
5		Tom Coffey, Reiner Dojen, Tomas Flanagan: On Different Approaches to Establish the Security of Cryptographic Protocols. Security and Management 2003: 637-643
4		T. Newe, Tom Coffey: Formal verification logic for hybrid security protocols. Comput. Syst. Sci. Eng. 18(1): 17-25 (2003)
3		Tom Coffey, Reiner Dojen, Tomas Flanagan: Formal verification: an imperative step in the design of security protocols . Computer Networks 43(5): 601-618 (2003)
	1998
2		Tom Coffey, T. Newe: Realisation of a minimum-knowledge identification and signature scheme. Computers & Security 17(3): 253-264 (1998)
	1992
1		Weijun Wang, Tom Coffey: Network Security: Design of a Global Secure Link. SEC 1992: 101-111

Coauthor Index

1	Claudiu Anghel	[12]
2	Peter Burrows	[7]
3	Mihaela Dinsoreanu	[12]
4	Reiner Dojen	[3] [5] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19]
5	Tomas Flanagan	[3] [5] [9]
6	Cristian Godja	[12]
7	Cornelia Györödi	[15]
8	Anca Jurcut	[13] [15]
9	Ioana Lasc	[18] [19]
10	T. Newe	[2] [4] [8]
11	Vladimir Pasca	[13] [16]
12	Puneet Saidha	[7]
13	Ioan Salomie	[6] [12]
14	Marian Ventuneac	[6]
15	Weijun Wang	[1]
16	Fan Zhang	[14] [17]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page