一种改进的CMP1协议及其Petri网分析

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

Improvement of CMP1 Protocol and Petri Net Analysis

The paper conducts an in-depth research of the protocol CMP1 and finds the defects in the design of CMP1 protocol, such as fairness, redundancy, timeliness, suffering replay attack. In view of the insufficiency of CMP1 protocol, the paper puts forward the corresponding improvement scheme and put modifications on the protocol. The improved CMP1 protocol makes up for the previous flaws. Then, the color Petri net protocol a-nalysis method is adopted to model and simulate the modified CMP1 protocol, and the properties of the new protocol are analyzed as well. The simulation results prove that the improved protocol can not only meet the re-quirements of accountability, fairness and timeliness but also avoid the possibility of replay attack.