摘要:
利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网。利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析。实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题。
张卉,李续武,赵媛莉,校云超. 改进型有色Petri网的安全协议分析[J]. J4, 2013, 35(7): 60-63.
ZHANG Hui,LI Xuwu,ZHAO Yuanli,XIAO Yunchao. Security protocols analysis
of improved colored Petri nets[J]. J4, 2013, 35(7): 60-63.