摘要： 在安全数据传输协议中，发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMP1 协议缺陷的基础上，提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor 逻辑分析验证，新的协议满足非否认性和公平性原则，可广泛应用于电子邮件、电子合同等电子商务应用中。

关键词: 通信协议；非否认性；公平性；Kailar 逻辑

Abstract: The non-repudiation and fairness of sender and receiver are essential in secure data transport protocol, it has been usually implemented by non- repudiation protocol used during data transmission. In this paper,a new fair non-repudiation and fairness protocol is presented based on the correction of CMP1 protocol which has some flaws. It has been verified satisfying non-repudiation and fairness by advanced Kailar logic, it can be abroad applied in E-mail and E-contract etc.

Key words: Communication protocol; Non-repudiation; Fairness; Kailar logic