计算机工程与科学2013，Vol.35Issue(7)：60-63,4.DOI:10.3969/j.issn.1007-130X.2013.07.010
改进型有色Petri网的安全协议分析
Security protocols analysis of improved colored Petri nets
张卉 1李续武 1赵媛莉 1校云超1
作者信息
- 1. 空军工程大学防空反导学院,陕西西安710051
- 折叠
摘要
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.关键词
有色Petri网/安全协议/攻击成功函数Key words
colored Petri nets/security protocols/attacking successful function分类
信息技术与安全科学引用本文复制引用
张卉,李续武,赵媛莉,校云超..改进型有色Petri网的安全协议分析[J].计算机工程与科学,2013,35(7):60-63,4.
