Abstract
|
Article Information:
Formal Analysis of a Fairness E-Commerce Protocol
Mei Zhang and Jing-Hua Wen
Corresponding Author: Mei Zhang
Submitted: 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.
Key words: E-commerce Protocols, fairness, symbolic model verification, , , ,
|
Abstract
|
PDF
|
HTML |
|
Cite this Reference:
Mei Zhang and Jing-Hua Wen, . Formal Analysis of a Fairness E-Commerce Protocol. Research Journal of Applied Sciences, Engineering and Technology, (09): 1538-1542.
|
|
|
|
|
ISSN (Online): 2040-7467
ISSN (Print): 2040-7459 |
|
Information |
|
|
|
Sales & Services |
|
|
|