基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
边界网关协议(BGP)缺少形式化分析,为此,根据RFC 1771,针对2个BGP路由器问连接建立过程,使用染色Petri网建立层级模型.通过交互式仿真观察所建模型行为和预期行为是否发生偏离.判定行为偏离发生的原因,修改模型直到偏离消失.求解模型的状态空间,并验证BGP连接过程的无死锁性和公平性.
推荐文章
基于Petri网的电子谈判过程模型
电子谈判过程
主体
Petri网
基于Petri网的语义Web服务过程模型匹配算法研究
语义Web服务
匹配
Petri网
过程模型
基于Petri网的虚拟企业建立过程模型
Petri网
虚拟企业
过程模型
基于Petri网的工作流过程模型及资源分布分析
工作流模型
时延Petri网
时间性能分析
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于染色Petri网的BGP连接过程模型
来源期刊 计算机工程 学科 工学
关键词 边界网关协议 形式化模型 染色Petri网 协议验证
年,卷(期) 2011,(6) 所属期刊栏目 网络与通信
研究方向 页码范围 82-84
页数 分类号 TP393
字数 3457字 语种 中文
DOI 10.3969/j.issn.1000-3428.2011.06.029
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 沈庆国 解放军理工大学通信工程学院 21 73 4.0 8.0
2 王文化 解放军理工大学通信工程学院 3 5 2.0 2.0
3 王滨 解放军理工大学通信工程学院 5 8 2.0 2.0
4 韩春永 解放军理工大学通信工程学院 1 3 1.0 1.0
5 戴三明 解放军理工大学通信工程学院 1 3 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (2)
共引文献  (8)
参考文献  (2)
节点文献
引证文献  (3)
同被引文献  (10)
二级引证文献  (11)
1998(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(2)
  • 参考文献(0)
  • 二级参考文献(2)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(2)
  • 引证文献(1)
  • 二级引证文献(1)
2014(3)
  • 引证文献(0)
  • 二级引证文献(3)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2016(5)
  • 引证文献(1)
  • 二级引证文献(4)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
边界网关协议
形式化模型
染色Petri网
协议验证
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程
月刊
1000-3428
31-1289/TP
大16开
上海市桂林路418号
4-310
1975
chi
出版文献量(篇)
31987
总下载数(次)
53
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导