基于CPN的可信路由器发现协议建模与仿真分析
文献类型：期刊论文
| 作者 | 张珺1; 刘靖1 ; 叶新铭2; 许智君1
|
| 刊名 | 系统仿真学报
 |
| 出版日期 | 2012 |
| 卷号 | 24.0期号:003页码:701 |
| 关键词 | 接入路由器身份认证 着色Petri网 仿真分析 协议验证 性能分析 |
| ISSN号 | 1004-731X |
| 英文摘要 | 为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网（Colored Petri Nets,CPNs）为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/30353]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.内蒙古大学计算机学院 |
| 推荐引用方式 GB/T 7714 | 张珺,刘靖,叶新铭,等. 基于CPN的可信路由器发现协议建模与仿真分析[J]. 系统仿真学报,2012,24.0(003):701. |
| APA | 张珺,刘靖,叶新铭,&许智君.(2012).基于CPN的可信路由器发现协议建模与仿真分析.系统仿真学报,24.0(003),701. |
| MLA | 张珺,et al."基于CPN的可信路由器发现协议建模与仿真分析".系统仿真学报 24.0.003(2012):701. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。