Model Checking of E-Commerce Protocol using Casper FDR

Dantuluri Sravanthi, K V Krishnam Raju

Abstract


In present days the popularity of electronic commerce applications are motivated the development of new e-commerce protocols. By
using these new protocols the secrecy and agreement properties are achieved. This paper mainly focuses on how to model the e-commerce
protocol in CSP using SPL and verified using CasperFDR whether the protocol satisfies the properties specified. Attacks are identified in this
version. The specifications through which these attacks are found are presented.

Keywords: Model Checking, E-Commerce Protocol, CSP, SPL, CasperFDR


Full Text:

PDF


DOI: https://doi.org/10.26483/ijarcs.v4i10.1904

Refbacks

  • There are currently no refbacks.




Copyright (c) 2016 International Journal of Advanced Research in Computer Science