Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols

In the past, fairness verification of exchanges between the traders in E-commerce was based on a common assumption, so-called nonrepudiation property, which says that if the parties involved can deny that they have received or sent some information, then the exchanging protocol is unfair. So, the no...

Full description

Saved in:
Bibliographic Details
Published in:Journal of Applied Mathematics 2014-01, Vol.2014 (2014), p.492-501-042
Main Authors: Feng, Zhiyong, Li, Xiaohong, Hu, Jing, Song, Jiaojiao, Zhang, Chengwei
Format: Article
Language:English
Subjects:
Accountability
Algebra
Electronic commerce
Exchange
Exchanging
Fair exchange
Forged
Forges
Internet
Management
Mathematical models
Methods
Protocol
Strands
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In the past, fairness verification of exchanges between the traders in E-commerce was based on a common assumption, so-called nonrepudiation property, which says that if the parties involved can deny that they have received or sent some information, then the exchanging protocol is unfair. So, the nonrepudiation property is not a sufficient condition. In this paper, we formulate a new notion of fairness verification based on the strand space model and propose a method for fairness verification, which can potentially determine whether evidences have been forged in transactions. We first present an innovative formal approach not to depend on nonrepudiation, and then establish a relative trader model and extend the strand space model in accordance with traders’ behaviors of E-commerce. We present a case study to demonstrate the effectiveness of our verification method.
ISSN:1110-757X
1687-0042
DOI:10.1155/2014/138370