改进型有色Petri网的安全协议分析

摘要

利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网.利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析.实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题.%According to the deficiency that space exploration may occur when the security protocols of colored Petri nets are analyzed,the paper proposes to construct the knowledge RI that is required by intruders to successfully attack the security protocols and the knowledge KI that can be obtained by intruders.And the improved colored Petri net of successful attack functions.The improved colored Petri net is used to analyze Helsinki protocol and TMN protocol.Experiments show that the proposal can simplify the procedure of constructing the Petri net with intruders,and efficiently solve the space exploration problem.