Research Article | OPEN ACCESS
Formal Analysis of a Fairness E-Commerce Protocol
1, 2Mei Zhang and 2Jing-Hua Wen
1School of Accountancy
2Information Institute, Gui Zhou University of Financial and Economics, Guiyang, China
Research Journal of Applied Sciences, Engineering and Technology 2013 9:1538-1542
Received: November 08, 2012 | Accepted: January 21, 2013 | Published: July 15, 2013
Abstract
In this study, a new approach is proposed for analyzing non-repudiation and fairness of E-commerce protocols. The authentication E-mail protocol CMP1 is modeled as finite state machine and analyzed in two vital aspects-non-repudiation and fairness using SMV. As a result, the CMP1 protocol is not fair and so we have improved it. This result shows that it is effective to analyze and check the new features of E-commerce protocols using SMV model checker.
Keywords:
E-commerce Protocols, fairness, symbolic model verification,
Competing interests
The authors have no competing interests.
Open Access Policy
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Copyright
The authors have no competing interests.
|
|
 |
ISSN (Online): 2040-7467
ISSN (Print): 2040-7459 |
 |
| Information |
|
|
|
|
| Sales & Services |
|
|
|
|
