摘要：利用有色Petri网分析安全协议时存在空间爆炸问题，对此提出了构建入侵者成功攻击安全协议所需知识集Rl与入侵者可以获得的知识集K1，并定义入侵成功函数的改进型有色Petri网。利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析。实验表明，该方法能大大简化带有入侵者的Petri网模型的构造过程，有效缓解了Petri网在分析安全协议时的空间爆炸问题。

关键词：有色petri网 安全协议 攻击成功函数 

单位：空军工程大学防空反导学院 陕西西安710051