基于Petri网的密码协议形式化建模

• 作者: 叶新铭 白云莉
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 密码协议 TMN CPN 多次并发会话
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 70-74
• 分类号: TP393.06
• 字数: 5233字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.08.016

摘要

密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用.提出了采用Colored Petri Nets(CPN,着色Petri网)分析密码协议的新方法.采用新方法对TMN协议的多次并发会话通信进行形式化建模,模型依据会话配置和会话顺序进行功能单元划分,采用on-the-fly 方法生成攻击路径.采用状态空间搜索技术,发现了该协议的多次并发会话不安全状态,并获得了新的攻击模式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0
2	白云莉	内蒙古大学计算机学院	16	40	4.0	5.0