您的位置： 专家智库 > >

韩春永

作品数：1 被引量：2H指数：1
供职机构：解放军理工大学通信工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇网关
  • 1篇网关协议
  • 1篇边界网关
  • 1篇边界网关协议
  • 1篇BGP

机构

  • 1篇解放军理工大...

作者

  • 1篇沈庆国
  • 1篇王滨
  • 1篇王文化
  • 1篇戴三明
  • 1篇韩春永

传媒

  • 1篇计算机工程

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于染色Petri网的BGP连接过程模型被引量：2
2011年
边界网关协议(BGP)缺少形式化分析,为此,根据RFC 1771,针对2个BGP路由器间连接建立过程,使用染色Petri网建立层级模型。通过交互式仿真观察所建模型行为和预期行为是否发生偏离。判定行为偏离发生的原因,修改模型直到偏离消失。求解模型的状态空间,并验证BGP连接过程的无死锁性和公平性。
王文化沈庆国韩春永王滨戴三明
关键词：边界网关协议
全选 清除 导出
共1页<1>
聚类工具0