论文部分内容阅读
研究了一种改进的电子商务协议CMP1协议。针对原有CMP1协议的冗余设计、不满足协议公平性和时限性要求、存在被重放攻击的可能等不足，提出了一种改进方案，并使用颜色Petri网协议分析方法对改进后的CMP1协议进行了建模仿真和性质分析。仿真结果证明改进后的CMP1协议不但满足网络协议的可追究性、公平性和时限性等属性要求，而且避免了被重放攻击的可能。