10.3969/j.issn.1007-130X.2013.07.010
改进型有色Petri网的安全协议分析
利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网.利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析.实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题.
有色Petri网、安全协议、攻击成功函数
35
TP393.08(计算技术、计算机技术)
2013-08-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
60-63