Research On Formal Analysis Of Electronic Commerce Security Protocol

The security of security protocols is the foundation of the network security. Presently the analysis of security of security protocols using the formal method has become a hotspot of research. This dissertation focuses on the theory and technique of the formal analysis of the electronic commerce security protocols. Following are the main results of this thesis: Introduce the background, basic conceptions and classifying measure of security protocols and electronic commerce security protocols, expatiate the evolvement and states of the cryptographic protocols analysis. Introduce the running-mode analysis of the two-party security protocols based on the theory of model checking. Conclude the running-mode analysis of the three-party security protocol based on server which acts as the trusted third party. Calculate the maximum of the running-modes and suggest the effective limited conditions. Analyze the security electronic transaction protocol by using the running-mode analysis of the three-party security protocol. and uncover the connotative weaknesses of the protocol, which proves that the running-mode analysis can analyze complicated electronic commerce security protocols. Introduce the design principles of security protocol and discuss the design principle of electronic commerce security protocol. Design a electronic commerce security protocol using these design principles.