Computer Science ›› 2010, Vol. 37 ›› Issue (10): 110-115.
Previous Articles Next Articles
CHEN Li
Online:
Published:
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
CHEN Li. New Logic of Analyzing Electronic Commerce Security Protocols[J].Computer Science, 2010, 37(10): 110-115.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2010/V37/I10/110
Cited