基于赋时颜色Petri网的NSSK协议建模

• 作者: 田银花 韩咚
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: NSSK 协议 Petri网 协议分析
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 安全与防范
• 页码范围: 156-158
• 分类号: TP393.08
• 字数: 1503字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.06.040

摘要

随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向.设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤.验证安全协议的模型和工具有很多,主要应用赋时颜色Petri网分析了安全协议中著名的NSSK协议,应用赋时颜色Petri网的变迁为导向的建模方法,成功地对NSSK协议进行了建模,并验证了协议运行过程中的有效性.为下一步利用颜色Petri网协议针对NSSK协议的安全性进行分析打下了良好的基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田银花	山东科技大学信息工程系	10	15	3.0	3.0
2	韩咚	山东科技大学继续教育学院	9	22	3.0	4.0