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

Analysis on Improved Colored Petri Nets of Security Protocols

针对传统有色Petri网方法在安全协议分析中存在的一些不足,提出一种新的基于有色Petri网模型的分析方法。给出改进型的基于有色Petri网的模型构造方法及协议分析的具体步骤,利用此法对具体的Helsinki协议进行建模和分析。实验证明,这种方法行之有效,且在一定程度上有利于有色Petri网安全协议向自动化分析方向发展。

An improved security protocol checking method based on colored Petri nets models is put forward,focused on the deficiencies of the traditional security protocol analysis method based on colored Petri nets.Then it is used to the Helsinki protocol by modeling and analyzing.The method is proved feasible through experiments,and in favor of developing oriented to automation analysis of security protocol based on colored Petri nets to some extent.