摘要：电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性用经过扩展的串空间模型进行了形式化分析。

关键词：公平交换协议 串空间 认证测试 形式化分析 

单位：山东数字证书认证管理有限公司; 山东济南250011; 山东交通学院; 山东济南250023