Improvement of CMP1 Protocol and Petri Net Analysis
Zhao Jun-mi · Journal of Henan University of Urban Construction · 2014
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 analysis 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 requirements of accountability,fairness and timeliness but also avoid the possibility of replay attack.