Formal Verification of Protocols in E-commerce

E-commerce protocols are integral components of E-commerce systems. Verification of E-Commerce protocols'security level has become a hot spot in both information security and E-commerce researching area. Recent research focuses on E-commerce protocols' general properties such as secrecy and authentication, but always ignores particular properties related to commerce such as anonymity, fairness and atomicity. This article addresses formal analysis of E-commerce protocols, especially verification of commerce-related properties. We want to enhance the security of E-commerce protocols in used, and help to develop new protocols, and then help the public to accept applications constructed based on these protocols. So we attempt to model the E-commerce protocols, to extend formal methods for general properties verification and make it applicable to commerce related properties, and to develop a toolkit to verify E-commerce protocols automatically in future research.