A Method For Analyzing Electronic Commerce Protocols Based On Knowledge And Faith Model

In recent years, e-commerce activities rapidly develop. It has become an importantpart of our daily shopping behavior and national economic activity. How to ensure thesecurity of e-commerce transactions,If the e-commerce protocol in used is safe anddependable. It becomes a hot research topic. Unlike the general protocol, E-commerceprotocol as a kind of security protocol, not only to meet the general safety requirements ofauthentication protocol and key exchange protocols, but also Non-repudiation FairnessAnonymity, etc.First of all, the current model mostly transplant from security protocols, is not a gooddescription of e-commerce protocol while not universal. Referenced to existing analysismethods and studying the existing e-commerce protocols, we present the Knowledge andFaith Model of the electronic commerce protocol. The model made many new conceptssuch as Knowledge Set, Faith Set, Atomic, Full Factor and Tangent function. It can formaldescript of the electronic commerce protocol clearly legitimately ideally. Set ofKnowledge and Faith perfectly describes the ability of the subject, solve the problems ofthe describe of subject ability is unclear, and can not be completely formalized. Especially,Tangent function provides a general common solution for attack mode, do not have to relyon the existing known attack mode.Second, based on the Knowledge and Faith Model, Logical Reason and Axiomsystem are presented, and design by classification in view of the atomic classification,make it more streamlined, more versatile. For the Security Non-repudiation FairnessAnonymity of the electronic commerce protocol, clarity purposes and theoretical provesare presented.In the end, we formal analysis of the SET protocol used the analysis method of theelectronic commerce protocol presented in the article, research the SecurityNon-repudiation Fairness Anonymity of the SET protocol.