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

摘要：

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

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

所属期刊栏目：35

分类号：TP393.08(计算技术、计算机技术)

在线出版日期：2013-08-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：60-63