Improved Logic Analysis Method for Electronic Commerce Protocols
Qinglei Zhou · Jisuanji gongcheng · 2010
This paper proposes an improved logic analysis method based on Qing-Zhou logic to analyze the security of electronic commerce protocols such as accountability,fairness and atomicity.By introducing the fresh property of the message,it make a message replayed can be recognized.And it redefines the realization of accountability,so that it can correctly analyze the property when the replay attack occurs.It gives atomicity goal and increases the method for atomicity analysis to analyze atomicity of electronic commerce protocols.