|
|||||
|
|
| 基于CPN的可信路由器发现协议建模与仿真分析 | |
| 引用本文： | 张珺,刘靖,叶新铭,许智君. 基于CPN的可信路由器发现协议建模与仿真分析[J]. 系统仿真学报, 2012, 24(3): 701-709 |
| 作者姓名： | 张珺 刘靖 叶新铭 许智君 |
| 作者单位： | 1. 中国科学院计算技术研究所,北京100190／内蒙古大学计算机学院,呼和浩特010021／中国科学院研究生院,北京100039 2. 中国科学院计算技术研究所,北京100190／中国科学院研究生院,北京100039 3. 内蒙古大学计算机学院,呼和浩特,010021 |
| 基金项目： | 973计划(2007CB310702);国家自然科学基金(60873242);内蒙古自然科学基金(2011MS0902,20080404ZD20);中国科学院重大科研装备研制项目(YZ200824);863计划(2009AA01A344) |
| 摘 要： | 为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。 |
| 关 键 词： | 接入路由器身份认证 着色Petri网 仿真分析 协议验证 性能分析 |
Modeling and Simulation of Trusted Router Discovery Protocol Using Colored Petri Nets |
|
| ZHANG Jun,LIU Jing,YE Xin-ming,XU Zhi-jun. Modeling and Simulation of Trusted Router Discovery Protocol Using Colored Petri Nets[J]. Journal of System Simulation, 2012, 24(3): 701-709 | |
| Authors: | ZHANG Jun LIU Jing YE Xin-ming XU Zhi-jun |
| Affiliation: | 1,2,3(1.Institute of Computing Technology,Chinese Academy of Sciences,Beijing,100190,China; 2.College of Computer Science,Inner Mongolia University,Hohhot,010021,China; 3.Graduate University of Chinese Academy of Sciences,Beijing,100039,China) |
| Abstract: | In order to guarantee the host safely visiting Internet via a valid access router,some secure and effective mechanisms were required to protect the access router discovery process.A trusted router discovery protocol was proposed to validate the access router.Based on the Colored Petri Nets(CPN),a function verification model and a performance analysis model were constructed integratedly for the protocol analysis in the two aspects of security and performance.By this integrated analysis method using CPN,the simulation results show that the protocol conducts effectively in both security guaranteeing and performance improving.Also,this CPN based modeling and simulation method,which integrates security verification and performance analysis,contributes a significant methodology helping to improve the performance of a secure protocol. |
| Keywords: | access router validation colored Petri nets simulation protocol verification performance analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |