| 基于染色Petri网的BGP连接过程模型 |
| |
| 引用本文： | 王文化,沈庆国,韩春永,王滨,戴三明.基于染色Petri网的BGP连接过程模型[J].计算机工程,2011,37(6):82-84. |
| |
| 作者姓名： | 王文化 沈庆国 韩春永 王滨 戴三明 |
| |
| 作者单位： | 解放军理工大学通信工程学院,南京,210007 |
| |
| 摘 要： | 边界网关协议(BGP)缺少形式化分析，为此，根据RFC 1771，针对2个BGP路由器间连接建立过程，使用染色Petri网建立层级模型。通过交互式仿真观察所建模型行为和预期行为是否发生偏离。判定行为偏离发生的原因，修改模型直到偏离消失。求解模型的状态空间，并验证BGP连接过程的无死锁性和公平性。
|
| 关 键 词： | 边界网关协议 形式化模型 染色Petri网 协议验证 |
BGP Connection Process Model Based on Colored Petri Net |
| |
| WANG Wen-hua,SHEN Qing-guo,HAN Chun-yong,WANG Bin,DAI San-ming.BGP Connection Process Model Based on Colored Petri Net[J].Computer Engineering,2011,37(6):82-84. |
| |
| Authors: | WANG Wen-hua SHEN Qing-guo HAN Chun-yong WANG Bin DAI San-ming |
| |
| Affiliation: | (Institute of Communications Engineering,PLA University of Science and Technology,Nanjing 210007,China) |
| |
| 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. |
| |
| Keywords: | Border Gateway Protocol（BGP） formal model Colored Petri Net（CPN） protocol verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
