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

• 作者: 戴三明 沈庆国 王文化 王滨 韩春永
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 边界网关协议 形式化模型 染色Petri网 协议验证
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 网络与通信
• 页码范围: 82-84
• 分类号: TP393
• 字数: 3457字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.06.029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	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