Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols
Joint Authors
Song, Jiaojiao
Hu, Jing
Feng, Zhiyong
Li, Xiaohong
Zhang, Chengwei
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-10, 10 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-06-01
Country of Publication
Egypt
No. of Pages
10
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Zhang, Chengwei& Li, Xiaohong& Hu, Jing& Feng, Zhiyong& Song, Jiaojiao. 2014. Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-10.
https://search.emarefa.net/detail/BIM-448744
Modern Language Association (MLA)
Zhang, Chengwei…[et al.]. Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols. Journal of Applied Mathematics No. 2014 (2014), pp.1-10.
https://search.emarefa.net/detail/BIM-448744
American Medical Association (AMA)
Zhang, Chengwei& Li, Xiaohong& Hu, Jing& Feng, Zhiyong& Song, Jiaojiao. Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-10.
https://search.emarefa.net/detail/BIM-448744
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-448744