关键词: 逻辑分析方法，安全属性，密钥保密性，原子性，混合密码原语，逻辑构件

Abstract: The paper researched the typical logic analysis methods of electronic commerce security protocols and pointed out their limitations in analyzing security properties. Most of them arc lack of formal semantics and ability of analyzing hybrid cryptography-based primitives. In response on the above-mentioned problems,the paper proposed a new logic analysis method, which can analyze most of the known security properties of the electronic commerce protocols, such as authentication, secrecy of key, non-repudiation, accountability, fairness and atomicity. The validation of the new logic was verified by analyzing the anonymous e-cash payment protocol ISI. The analysis reveals the security vulnerabilities and flaws of the protocol, which cannot satisfy non-repudiation of merchants, secrey of key, accountability, fairness and atomicity, moreover, the customers face malicious cheat of the merchants.

Key words: Logic analysis method, Security property, Secrey of key, Atomicity, Hybrid cryptography-based primitives,Logic sentences