基于CPN的可信路由器发现协议建模与仿真分析

• 作者: 刘靖 叶新铭 张珺 许智君
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 接入路由器身份认证 着色Petri网 仿真分析 协议验证 性能分析
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 研究论文
• 页码范围: 701-709
• 分类号: TP393
• 语种: 中文

摘要

为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网（Colored Petri Nets,CPNs）为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。

作者信息

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