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

摘要：

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

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

所属期刊栏目：37

分类号：TP393(计算技术、计算机技术)

在线出版日期：2011-08-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：82-84