论文信息 - A Game-Theoretic Model for Analyzing Fair Exchange Protocols

A Game-Theoretic Model for Analyzing Fair Exchange Protocols

Fair exchange turns out to be an increasingly important topic due to the rapid growth of electronic commerce in daily life. In this paper, a novel model based on game theory is proposed in order to analyze fair exchange protocols. The formal description of fair exchange protocols is given, and two important properties --- non-repudiation and fairness --- are defined in this model. As an illustrating example, we analyze a certified email protocol, namely MD scheme.

Yonggen Gu | Zhangguo Shen | Deqian Xue

[1] Robert H. Deng,et al. Some Remarks on a Fair Exchange Protocol , 2000, Public Key Cryptography.

[2] Dieter Gollmann,et al. A fair non-repudiation protocol , 1996, Proceedings 1996 IEEE Symposium on Security and Privacy.

[3] Gu Yonggen,et al. Formal Analysis of Security Protocol Based on Process Calculus and Knowledge Derivation , 2006 .

[4] Josep Lluís Ferrer-Gomila,et al. An Efficient Protocol for Certified Electronic Mail , 2000, ISW.

[5] Ricardo Dahab,et al. An Attack on a Protocol for Certified Delivery , 2002, ISC.

[6] Carsten Rudolph,et al. On the security of fair non-repudiation protocols , 2003, International Journal of Information Security.

[7] Silvio Micali,et al. A fair protocol for signing contracts , 1990, IEEE Trans. Inf. Theory.

[8] Jean-François Raskin,et al. A game-based verification of non-repudiation and fair exchange protocols , 2003 .

[9] Ning Zhang,et al. Fair certified e-mail delivery , 2004, SAC '04.

[10] Indrajit Ray,et al. Fair exchange in E-commerce , 2002, SECO.

[11] Jianying Zhou,et al. On the Security of a Certified E-Mail Scheme , 2004, INDOCRYPT.

[12] Richard Cleve,et al. Controlled Gradual Disclosure Schemes for Random Bits and Their Applications , 1989, CRYPTO.