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]

@article{ZhangLHFS14,
  title = {Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols},
  author = {Chengwei Zhang and Xiaohong Li and Jing Hu and Zhiyong Feng and Jiaojiao Song},
  year = {2014},
  doi = {10.1155/2014/138370},
  url = {http://dx.doi.org/10.1155/2014/138370},
  researchr = {https://researchr.org/publication/ZhangLHFS14},
  cites = {0},
  citedby = {0},
  journal = {J. Applied Mathematics},
  volume = {2014},
}