The Logic Analysis And Research Of Electronic Commerce Protocol

Currently, electronic commerce is the heat point of the research and development in each country. Electronic commerce protocol is the comprising framework of electronic commerce, and its security is the key factor to decide the development of electronic commerce. The research in electronic commerce protocols and their security is helpful for designing safe electronic commerce protocols and promoting the development of electronic commerce.In this paper, three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced, and studied in their advantages and weakness. Combing the advantages, a new formal logic language is put forward to analyze electronic commerce protocols. The language has a strong logic and can be applied easily.A famous electronic commerce protocol ?Secure Electornic Transaction(SET) is also simply introduced and abstracted. At last, the abstracted protocol is especially analyzed and verified completely by the new logic.