基于CPN的可信路由器发现协议建模与仿真分析
为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网（Colored Petri Nets,CPNs）为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。
接入路由器身份认证、着色Petri网、仿真分析、协议验证、性能分析
24
TP393(计算技术、计算机技术)
973计划2007CB310702;国家自然科学基金60873242;内蒙古自然科学基金2011MS0902 20080404ZD20;中国科学院重大科研装备研制项目YZ200824;863计划2009AA01A344
2012-04-28（万方平台首次上网日期，不代表论文的发表时间）
701-709
