河南城建学院学报Issue(3)：57-63,7.
一种改进的CMP1协议及其Petri网分析
Improvement of CMP1 Protocol and Petri Net Analysis
摘要
Abstract
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.关键词
CMP1协议/颜色Petri网/CPN Tools/状态分析Key words
CMP1 protocol/color Petri net/CPN tools/state analysis分类
信息技术与安全科学引用本文复制引用
赵军民,王春丽..一种改进的CMP1协议及其Petri网分析[J].河南城建学院学报,2014,(3):57-63,7.
