![](/images/graphics-bg.png)
Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols
المؤلفون المشاركون
Song, Jiaojiao
Hu, Jing
Feng, Zhiyong
Li, Xiaohong
Zhang, Chengwei
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-06-01
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-448744
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)