Home            Contact us            FAQs
    
      Journal Home      |      Aim & Scope     |     Author(s) Information      |      Editorial Board      |      MSP Download Statistics

     Research Journal of Applied Sciences, Engineering and Technology

    Abstract
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 
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
Submit Manuscript
   Information
   Sales & Services
Home   |  Contact us   |  About us   |  Privacy Policy
Copyright © 2024. MAXWELL Scientific Publication Corp., All rights reserved