A formal analysis of fairness and non-repudiation in the RSA-CEGD protocol

Authors:
Almudena Alcaide;Juan M. Estévez-Tapiador;Antonio Izquierdo;José M. Sierra
Affiliations:
Department of Computer Science, Carlos III University of Madrid, Leganés, Madrid, Spain;Department of Computer Science, Carlos III University of Madrid, Leganés, Madrid, Spain;Department of Computer Science, Carlos III University of Madrid, Leganés, Madrid, Spain;Department of Computer Science, Carlos III University of Madrid, Leganés, Madrid, Spain
Venue:
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part IV
Year:
2005

Citing 11
Cited 0

Accountability in Electronic Commerce Protocols

IEEE Transactions on Software Engineering
Some guidelines for non-repudiation protocols

ACM SIGCOMM Computer Communication Review
An Optimistic Fair Exchange E-commerce Protocol with Automated Dispute Resolution

EC-WEB '00 Proceedings of the First International Conference on Electronic Commerce and Web Technologies
The Logic of Authentication Protocols

FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Mechanical Proofs about a Non-repudiation Protocol

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Formal Analysis of a Non-Repudiation Protocol

CSFW '98 Proceedings of the 11th IEEE workshop on Computer Security Foundations
A game-based verification of non-repudiation and fair exchange protocols

Journal of Computer Security - IFIP 2000
Reasoning about accountability in protocols for electronic commerce

SP '95 Proceedings of the 1995 IEEE Symposium on Security and Privacy
A Security Protocol for Certified E-Goods Delivery

ITCC '04 Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 2 - Volume 2
A fair non-repudiation protocol

SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
An intensive survey of fair non-repudiation protocols

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recently, Nenadić et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encrypted signatures (VRES) to guarantee properties such as strong fairness and non-repudiation, among others. In this paper, we illustrate how an extended logic of beliefs can be helpful to analyze in a formal manner these security properties. This approach requires the previous definition of some novel constructions to deal with evidences exchanged by parties during the protocol execution. The study performed within this framework reveals the lack of non-repudiation in RSA-CEGD and points out some other weaknesses.