Model Checking of E-Commerce Protocol using Casper FDR

Main Article Content

Dantuluri Sravanthi
K V Krishnam Raju


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


Download data is not yet available.

Article Details