基于多协议扩展边界网关协议BGP4+的形式化建模研究
기우다협의확전변계망관협의BGP4+적형식화건모연구
Research on Formal Modeling of Multiprotocol Extension Border Gateway Protocol BGP4 +
  • 万方数据
    计算机系统应用 계산궤계통응용
    APPLICATIONS OF THE COMPUTER SYSTEMS
    2006年 12期 54-58 ,共5页

    江魁%黄云森%龚巧华

    강괴%황운삼%공교화

    BGP4+%形式化建模%有限状态机%SDL BGP4+%形式化建模%有限狀態機%SDL
    BGP4+%형식화건모%유한상태궤%SDL
    协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模.
    협의적형식화건모유조우제고기일치성측시집적자동화생성여완비정도,재분석BGP4+협의적기출상,제출료괄용우복잡로유협의형식화건모적혼합모형건모법,병기우유한상태궤여SDL량충형식묘술기술완성료해협의적형식화건모.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문