• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2013, Vol. 35 ›› Issue (7): 60-63.

• 论文 • 上一篇    下一篇

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

张卉,李续武,赵媛莉,校云超   

  1. (空军工程大学防空反导学院,陕西 西安 710051)
  • 收稿日期:2011-11-22 修回日期:2012-05-28 出版日期:2013-07-25 发布日期:2013-07-25

Security protocols  analysis
of improved colored Petri nets

ZHANG Hui,LI Xuwu,ZHAO Yuanli,XIAO Yunchao   

  1. (School of Air and Missile Defense,Air Force Engineering University,Xi’an 710051,China)
  • Received:2011-11-22 Revised:2012-05-28 Online:2013-07-25 Published:2013-07-25

摘要:

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

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

Abstract:

According to the deficiency that space exploration may occur when the security protocols of colored Petri nets are analyzed, the paper proposes to construct the knowledge RI that is required by intruders to successfully attack the security protocols and the knowledge KI that can be obtained by intruders. And the improved colored Petri net of successful attack functions. The improved colored Petri net is used to analyze Helsinki protocol and TMN protocol. Experiments show that the proposal can simplify the procedure of constructing the Petri net with intruders, and efficiently solve the space exploration problem.

Key words: colored Petri nets;security protocols;attacking successful function