Home           Contact us           FAQs           
   Journal Page   |   Aims & Scope   |   Author Guideline   |   Editorial Board   |   Search
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
   Contact Information
  Executive Managing Editor
  Email: admin@maxwellsci.com
  Publishing Editor
  Email: support@maxwellsci.com
  Account Manager
  Email: faisalm@maxwellsci.com
  Journal Editor
  Email: admin@maxwellsci.com
  Press Department
  Email: press@maxwellsci.com
Home  |  Contact us  |  About us  |  Privacy Policy
Copyright © 2009. MAXWELL Science Publication, a division of MAXWELLl Scientific Organization. All rights reserved