您的位置： 专家智库 > >

国家自然科学基金(60873242)

作品数：2 被引量：5H指数：2
相关作者：刘靖叶新铭李军张珺许智君更多>>
相关机构：中国科学院中国科学院研究生院内蒙古大学更多>>
发文基金：内蒙古自治区自然科学基金国家自然科学基金教育部“春晖计划”更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇着色PETR...
  • 1篇性能分析
  • 1篇路由
  • 1篇路由器
  • 1篇建模与仿真分...
  • 1篇仿真
  • 1篇BITTOR...
  • 1篇CPN
  • 1篇PETRI网

机构

  • 2篇内蒙古大学
  • 2篇中国科学院
  • 2篇中国科学院研...

作者

  • 2篇叶新铭
  • 2篇刘靖
  • 1篇许智君
  • 1篇张珺
  • 1篇李军

传媒

  • 2篇系统仿真学报

年份

  • 1篇2012
  • 1篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于CPN的可信路由器发现协议建模与仿真分析被引量：2
2012年
为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。
张珺刘靖叶新铭许智君
关键词：着色PETRI网性能分析
BitTorrent协议的Petri网建模方法研究被引量：3
2011年
BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petri网层次模型,集成模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析,确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。
刘靖叶新铭李军
关键词：BITTORRENT协议着色PETRI网
全选 清除 导出
共1页<1>
聚类工具0