Home           Contact us           FAQs           
     Journal Home     |     Aim & Scope    |    Author(s) Information      |     Editorial Board     |     MSP Download Statistics
2013 (Vol. 6, Issue: 09)
Article Information:

Formal Analysis of a Fairness E-Commerce Protocol

Mei Zhang and Jing-Hua Wen
Corresponding Author:  Mei Zhang 

Key words:  E-commerce Protocols, fairness, symbolic model verification, , , ,
Vol. 6 , (09): 1538-1542
Submitted Accepted Published
November 08, 2012 January 21, 2013 July 15, 2013

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.
Abstract PDF HTML
  Cite this Reference:
Mei Zhang and Jing-Hua Wen, 2013. Formal Analysis of a Fairness E-Commerce Protocol.  Research Journal of Applied Sciences, Engineering and Technology, 6(09): 1538-1542.
    Advertise with us
ISSN (Online):  2040-7467
ISSN (Print):   2040-7459
Submit Manuscript
   Current Information
   Sales & Services
Home  |  Contact us  |  About us  |  Privacy Policy
Copyright © 2015. MAXWELL Scientific Publication Corp., All rights reserved