摘要： 在卿-周逻辑(软件学报，2001年第9期)的基础上提出一种改进的逻辑分析方法，用于分析电子商务协议的安全性，如可追究性、公平性和原子性。该方法通过引入消息新鲜性机制，使被重放的消息可以被识别，重新定义可追究性的实现条件，使得在发生重放攻击时能正确分析各方的责任性，给出原子性目标并增加对原子性分析的方法，以实现对协议原子性的分析。

关键词: 电子商务协议, 可追究性, 公平性, 原子性

Abstract: 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.

Key words: electronic commerce protocol, accountability, fairness, atomicity

中图分类号: 

• TP309