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

doi:10.3969/j.issn.1000-3428.2011.06.029

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

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

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

(解放军理工大学通信工程学院，南京 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

(Institute of Communications Engineering, PLA University of Science and Technology, Nanjing 210007, China)

Online:2011-03-20 Published:2011-03-29

摘要/Abstract

摘要： 边界网关协议(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

中图分类号:

TP393

王文化, 沈庆国, 韩春永, 王滨, 戴三明. 基于染色Petri网的BGP连接过程模型[J]. 计算机工程, 2011, 37(6): 82-84.

WANG Wen-Hua, CHEN Qiang-Guo, HAN Chun-Yong, WANG Bin, DAI San-Meng. BGP Connection Process Model Based on Colored Petri Net[J]. Computer Engineering, 2011, 37(6): 82-84.

[1]	戴仙波, 王娜, 刘颖. 基于改进高斯核函数的BGP异常检测方法[J]. 计算机工程, 2019, 45(10): 122-129.
[2]	唐郑熠,王金水,何栋炜,薛醒思,胡文瑜. 馈线自动化算法的形式化建模与验证[J]. 计算机工程, 2016, 42(3): 89-93.
[3]	陶志勇,王如龙,张锦. 基于负载分离的跨域虚拟专用网解决方案[J]. 计算机工程, 2014, 40(9): 106-110.
[4]	颜晶晶. 基于信任评估的信息形式化推荐方法[J]. 计算机工程, 2012, 38(7): 42-45.
[5]	杨晓波. Web服务编制的形式化模型研究[J]. 计算机工程, 2012, 38(7): 276-278.
[6]	李美子, 张波. 社交网络中的用户信任链形式化模型[J]. 计算机工程, 2012, 38(23): 60-62.
[7]	赵福奎, 卢雷. 基于CPN的RUDP建模与分析[J]. 计算机工程, 2012, 38(20): 290-292.
[8]	王彦哲, 汪歆, 邱依昕, 潘强. 传感器网络信息处理支撑服务测试研究[J]. 计算机工程, 2012, 38(2): 119-122.
[9]	李兆斌, 康志荣, 池亚平, 方勇. 基于AS联盟与信誉机制的域间安全路由协议[J]. 计算机工程, 2012, 38(14): 112-115.
[10]	徐鑫;吴静;高远. iBGP路由的最佳出口点检查算法[J]. 计算机工程, 2010, 36(7): 17-19.
[11]	包广斌, 马栋林, 张秋余, 袁占亭. 基于SPVP协议的BGP路由收敛算法[J]. 计算机工程, 2010, 36(20): 16-18.
[12]	王文化, 沈庆国, 王滨. BGP收敛性质改善的MRAI时钟设置方案[J]. 计算机工程, 2010, 36(14): 19-21.
[13]	任金秋;马海龙;汪斌强. 跨域BGP/MPLS VPN在高性能路由器中的实现[J]. 计算机工程, 2009, 35(3): 126-129.
[14]	顾翔;邱建林;邵浩然. 基于RSL的协议形式化描述与验证方法[J]. 计算机工程, 2009, 35(23): 41-43.
[15]	马海龙; 郭云飞; 陈乐然. BGP路由查表算法的分析与改进[J]. 计算机工程, 2009, 35(2): 4-5,9.

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

BGP Connection Process Model Based on Colored Petri Net

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

Metrics

本文评价

推荐阅读 10