Tom Coffey

发表

Extending CAPSL for Logic-Based Verifications

Liang Tian, Reiner Dojen, Tom Coffey, 2005 .

An Empirical Analysis of Automated Verification of Wireless Security Protocols

Reiner Dojen, Tom Coffey, Marian Ventuneac, 2005 .

Applying Conditional Linear Cryptanalysis to Ciphers with Key- Dependant Operations

Reiner Dojen, Tom Coffey, 2005 .

A Novel Security Protocol Attack Detection Logic with Unique Fault Discovery Capability for Freshness Attacks and Interleaving Session Attacks

Anca D. Jurcut, Reiner Dojen, Tom Coffey, 2019, IEEE Transactions on Dependable and Secure Computing.

Design requirements to counter parallel session attacks in security protocols

Reiner Dojen, Tom Coffey, Anca Jurcut, 2014, 2014 Twelfth Annual International Conference on Privacy, Security and Trust.

Countering jamming attacks against an authentication and key agreement protocol for mobile satellite communications

Reiner Dojen, Tom Coffey, Ioana Lasc, 2011, Comput. Electr. Eng..

Realisation of a minimum-knowledge identification and signature scheme

Thomas Newe, Tom Coffey, T. Coffey, 1998, Comput. Secur..

Comparative performance and energy consumption analysis of different AES implementations on a wireless sensor network node

Fan Zhang, Reiner Dojen, Tom Coffey, 2011, Int. J. Sens. Networks.

Symmetry in Security Protocol Cryptographic Messages -- A Serious Weakness Exploitable by Parallel Session Attacks

Reiner Dojen, Tom Coffey, Anca Jurcut, 2012, 2012 Seventh International Conference on Availability, Reliability and Security.

Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications

Vladimir Pasca, Reiner Dojen, Tom Coffey, 2009, MobiSec.

On the Prevention and Detection of Replay Attacks Using a Logic-Based Verification Tool

Reiner Dojen, Tom Coffey, Anca Jurcut, 2014, CN.

The concept of layered proving trees and its application to the automation of security protocol verification

Reiner Dojen, Tom Coffey, 2005, TSEC.

Establishing and preventing a new replay attack on a non-repudiation protocol

Reiner Dojen, Tom Coffey, Carla Muntean, 2009, 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing.

Security protocols for 2G and 3G wireless communications

Thomas Newe, Tom Coffey, 2003, ISICT.

On Establishing and Fixing a Parallel Session Attack in a Security Protocol

Reiner Dojen, Tom Coffey, Anca Jurcut, 2008, IDC.

Determining a parallel session attack on a key distribution protocol using a model checker

Vladimir Pasca, Reiner Dojen, Tom Coffey, 2008, MoMM.

A security protocol specification language extension for modal logic-based verification

Liang Tian, Reiner Dojen, Tom Coffey, 2007 .

A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite Communications

Reiner Dojen, Tom Coffey, Ioana Lasc, 2011, Int. J. Inf. Secur. Priv..

Applying linear cryptanalysis to ciphers with key-dependant operations

Reiner Dojen, Tom Coffey, 2004 .

Non-repudiation with mandatory proof of receipt

Tom Coffey, Puneet Saidha, T. Coffey, 1996, CCRV.

Establishing and Fixing Security Protocols Weaknesses Using a Logic-based Verification Tool

Reiner Dojen, Tom Coffey, Anca Jurcut, 2013, J. Commun..

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

Reiner Dojen, Tom Coffey, Tomas Flanagan, 2003, Comput. Networks.

Mobile Agent Based Solutions for Knowledge Assessment in elearning Environments pdf

Ioan Salomie, Mihaela Dînsoreanu, Claudiu Anghel, 2006, ArXiv.

On the detection of desynchronisation attacks against security protocols that use dynamic shared secrets

Reiner Dojen, Tom Coffey, Ioana Lasc, 2013, Comput. Secur..

A policy-based security framework for Web-enabled applications

Ioan Salomie, Tom Coffey, Marian Ventuneac, 2003, ISICT.

Formal verification logic for hybrid security protocols

Thomas Newe, Tom Coffey, T. Coffey, 2003, Comput. Syst. Sci. Eng..

Application framework development for virtual learning environments

Ioan Salomie, Tom Coffey, Marian Ventuneac, 2003, Proceedings of the 25th International Conference on Information Technology Interfaces, 2003. ITI 2003..

Network Security: Design of a Global Secure Link

Weijun Wang, Tom Coffey, 1992, SEC.

A Novel Approach to the Automation of Logic-Based Security Protocol Verification

Reiner Dojen, Tom Coffey, R. Dojen, 2004 .

On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks

Fan Zhang, Reiner Dojen, Tom Coffey, 2008, 2008 IEEE International Performance, Computing and Communications Conference.

Analysis of a mobile communication security protocol

Reiner Dojen, Tom Coffey, 2003, ISICT.

On modelling security protocols for logic-based verification

Reiner Dojen, Tom Coffey, Jinyong Chen, 2014 .

On Different Approaches to Establish the Security of Cryptographic Protocols

Reiner Dojen, Tom Coffey, Tomas Flanagan, 2003, Security and Management.

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

Reiner Dojen, Tom Coffey, Tomas Flanagan, 2003, ISICT.

A Formal Verification Centred Development Process for Security Protocols

Tom Coffey, T. Coffey, 2009 .

Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt

Tom Coffey, Peter Burrows, Puneet Saidha, 2003, ISICT.

Security Protocol Design: A Case Study Using Key Distribution Protocols

Reiner Dojen, Tom Coffey, Robert Gyorodi, 2009 .

Analysis of a key-establishment security protocol

Reiner Dojen, Tom Coffey, Robert Gyorodi, 2008 .