计算机工程2011，Vol.37Issue(6)：82-84,3.DOI:10.3969/j.issn.1000-3428.2011.06.029
基于染色Petri网的BGP连接过程模型
BGP Connection Process Model Based on Colored Petri Net
王文化 1沈庆国 1韩春永 1王滨 1戴三明1
作者信息
- 1. 解放军理工大学通信工程学院,南京,210007
- 折叠
摘要
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.关键词
边界网关协议/形式化模型/染色Petri网/协议验证Key words
Border Gateway Protocol(BGP)/ formal model/ Colored Petri Net(CPN)/ protocol verification分类
信息技术与安全科学引用本文复制引用
王文化,沈庆国,韩春永,王滨,戴三明..基于染色Petri网的BGP连接过程模型[J].计算机工程,2011,37(6):82-84,3.
