计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
6期
82-84
,共3页
王文化%沈庆国%韩春永%王滨%戴三明
王文化%瀋慶國%韓春永%王濱%戴三明
왕문화%침경국%한춘영%왕빈%대삼명
边界网关协议%形式化模型%染色Petri网%协议验证
邊界網關協議%形式化模型%染色Petri網%協議驗證
변계망관협의%형식화모형%염색Petri망%협의험증
边界网关协议(BGP)缺少形式化分析,为此,根据RFC 1771,针对2个BGP路由器问连接建立过程,使用染色Petri网建立层级模型.通过交互式仿真观察所建模型行为和预期行为是否发生偏离.判定行为偏离发生的原因,修改模型直到偏离消失.求解模型的状态空间,并验证BGP连接过程的无死锁性和公平性.
邊界網關協議(BGP)缺少形式化分析,為此,根據RFC 1771,針對2箇BGP路由器問連接建立過程,使用染色Petri網建立層級模型.通過交互式倣真觀察所建模型行為和預期行為是否髮生偏離.判定行為偏離髮生的原因,脩改模型直到偏離消失.求解模型的狀態空間,併驗證BGP連接過程的無死鎖性和公平性.
변계망관협의(BGP)결소형식화분석,위차,근거RFC 1771,침대2개BGP로유기문련접건립과정,사용염색Petri망건립층급모형.통과교호식방진관찰소건모형행위화예기행위시부발생편리.판정행위편리발생적원인,수개모형직도편리소실.구해모형적상태공간,병험증BGP련접과정적무사쇄성화공평성.
