Institute of Computing Technology, Chinese Academy IR
| 基于CPN的可信路由器发现协议建模与仿真分析 | |
张珺1; 刘靖1 ; 叶新铭2; 许智君1
| |
| 2012 | |
| 发表期刊 | 系统仿真学报
 |
| ISSN | 1004-731X |
| 卷号 | 24.0期号:003页码:701 |
| 摘要 | 为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网（Colored Petri Nets,CPNs）为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。 |
| 关键词 | 接入路由器身份认证 着色Petri网 仿真分析 协议验证 性能分析 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/30354 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [张珺]的文章 |
| [刘靖]的文章 |
| [叶新铭]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [张珺]的文章 |
| [刘靖]的文章 |
| [叶新铭]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [张珺]的文章 |
| [刘靖]的文章 |
| [叶新铭]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论