CAJ | 학술논문

研究了一种改进的电子商务协议CMP1协议。针对原有CMP1协议的冗余设计、不满足协议公平性和时限性要求、存在被重放攻击的可能等不足，提出了一种改进方案，并使用颜色Petri网协议分析方法对改进后的CMP1协议进行了建模仿真和性质分析。仿真结果证明改进后的CMP1协议不但满足网络协议的可追究性、公平性和时限性等属性要求，而且避免了被重放攻击的可能。
연구료일충개진적전자상무협의CMP1협의。침대원유CMP1협의적용여설계、불만족협의공평성화시한성요구、존재피중방공격적가능등불족，제출료일충개진방안，병사용안색Petri망협의분석방법대개진후적CMP1협의진행료건모방진화성질분석。방진결과증명개진후적CMP1협의불단만족망락협의적가추구성、공평성화시한성등속성요구，이차피면료피중방공격적가능。
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.