The Behavioral Analysis On Alipay Protocol

Security and reliability are the most important part of Transaction Protocol in the field of Online-Payment. While, Alipay protocol is one of the most popular transaction Protocol, which directly related to the security of online transactions. After reading lots of references about Transaction Protocol and formal verification, we defined Alipay transaction protocol processes by analyzing the Alipay interface and data packets producing in transaction process. In addition to the previous work, we use finite automata theory to analyze and formal verify Alipay protocol. In the process of analysis and verification, we found Alipay could not protect consumers’ privacy, so we proposed an improvement framework to solve the problem.(1).In this paper, firstly, we proposed a new method based on finite automata theory to analyze and formal verify Alipay transaction protocol. And, we applied this method to the Alipay protocol. Finally, we proved that Alipay protocol is secure and trusted.(2).Secondly, after in-depth study Alipay payment protocol, we find that consumers’ privacy information is not well protected in such transactions flow. To protect the privacy information for consumers, a new online shopping framework is proposed. The new framework not only solves the problem of information leakiness, but also provides a platform of information supervision in e-commerce.(3).Finally, based on this framework, we analyzed the safety properties of new Online-Payment framework.