University of Science and Technology of China,
Hefei, Anhui, China
Recently, with the development of a third-party payment platform, the development of online trading, electronic trading could be seen everywhere in our daily life. Compared with the previous businesses where the merchants and customers have to face to face, it brings much convenience and a series of security issues. The funds may be illegal to paraphrase by malicious users, and then bring certain losses to the businessman, consumers or the third-party payment platform. Petri nets as a formal method could be used to analysis the security issues better and easily.