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

Chengwei Zhang, Xiaohong Li, Jing Hu, Zhiyong Feng, Jiaojiao Song. Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols. J. Applied Mathematics, 2014, 2014. [doi]

Abstract

Abstract is missing.