作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (6): 82-84. doi: 10.3969/j.issn.1000-3428.2011.06.029

• 网络与通信 • 上一篇    下一篇

基于染色Petri网的BGP连接过程模型

王文化,沈庆国,韩春永,王 滨,戴三明   

  1. (解放军理工大学通信工程学院,南京 210007)
  • 出版日期:2011-03-20 发布日期:2011-03-29
  • 作者简介:王文化(1981-),男,博士研究生,主研方向:路由协议,网络服务质量;沈庆国,教授;韩春永,硕士研究生;王 滨,博士研究生;戴三明,硕士研究生

BGP Connection Process Model Based on Colored Petri Net

WANG Wen-hua, SHEN Qing-guo, HAN Chun-yong, WANG Bin, DAI San-ming   

  1. (Institute of Communications Engineering, PLA University of Science and Technology, Nanjing 210007, China)
  • Online:2011-03-20 Published:2011-03-29

摘要: 边界网关协议(BGP)缺少形式化分析,为此,根据RFC 1771,针对2个BGP路由器间连接建立过程,使用染色Petri网建立层级模型。通过交互式仿真观察所建模型行为和预期行为是否发生偏离。判定行为偏离发生的原因,修改模型直到偏离消失。求解模型的状态空间,并验证BGP连接过程的无死锁性和公平性。

关键词: 边界网关协议, 形式化模型, 染色Petri网, 协议验证

Abstract: Because the formal analysis of Border Gateway Protocol(BGP) is rare, a hierarchical model of connection process between two routers based on Colored Petri Net(CPN) is put forward according to RFC 1771. Through interactive simulation, the deviation between behavior of the proposed model and expected behavior can be observed. The proposed model should be tuned until all behavior deviations disappear. The state space of the model is calculated to validate the properties of no-deadlock and fairness.

Key words: Border Gateway Protocol(BGP), formal model, Colored Petri Net(CPN), protocol verification

中图分类号: