A lightweight mechanism for border gateway protocol path verification

被引：0
|
作者：
Zhao, Chen [1 ,3 ]
Sun, Bin [1 ,2 ]
Yang, Yi-Xian [1 ,3 ]
Yang, Yan [2 ]
机构：
[1] Information Security Center, Beijing University of Posts and Telecommunications, Beijing 100876, China
[2] State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing 100044, China
[3] National Engineering Laboratory for Disaster Backup and Recovery, Beijing University of Posts and Telecommunications, Beijing 100876, China
来源：
Dianzi Yu Xinxi Xuebao/Journal of Electronics and Information Technology | 2012年 / 34卷 / 09期
关键词：
D O I：
10.3724/SP.J.1146.2012.00285
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2167 / 2173
相关论文
共 50 条
  • [1] Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver
    Weitz, Konstantin
    Woos, Doug
    Torlak, Emina
    Ernst, Michael D.
    Krishnamurthy, Arvind
    Tatlock, Zachary
    ACM SIGPLAN NOTICES, 2016, 51 (10) : 765 - 780
  • [2] Border Gateway Protocol based Path Vector Mechanism for Inter-domain Routing in Software Defined Network Environment
    Hassan, Suhaidi
    Arlimatti, Shivaleela
    Elbreiki, Walid
    Habbal, Adib
    2016 IEEE CONFERENCE ON OPEN SYSTEMS, 2016, : 76 - 80
  • [3] Interdomain routing and the border gateway protocol
    Bonaventure, O
    Feldmann, A
    Gao, LX
    Griffin, T
    Mao, ZM
    IEEE NETWORK, 2005, 19 (06): : 3 - 4
  • [4] Securing the border gateway routing protocol
    Smith, BR
    GarciaLunaAceves, JJ
    IEEE GLOBECOM 1996 - GLOBAL INTERNET'96, CONFERENCE RECORD: COMMUNICATIONS: THE KEY TO GLOBAL PROSPERITY, 1996, : 81 - 85
  • [5] A Fractional Model of the Border Gateway Protocol (BGP)
    Haxell, P. E.
    Wilfong, G. T.
    PROCEEDINGS OF THE NINETEENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2008, : 193 - +
  • [6] Securing the Border Gateway Protocol: A status update
    Kent, ST
    COMMUNICATIONS AND MULTIMEDIA SECURITY, 2003, 2828 : 40 - 53
  • [7] An Enhanced Lightweight Security Gateway Protocol for the Edge Layer
    Reza, Md Masum
    Gutierrez, Jairo
    TECHNOLOGIES, 2023, 11 (05)
  • [8] Border gateway protocol extensions for quality of service routing
    Yoo, Y
    Ahn, S
    Cho, K
    Kim, T
    Kim, CS
    IC'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS I AND II, 2001, : 464 - 470
  • [9] Secure Border Gateway Protocol (S-BGP)
    Kent, S
    Lynn, C
    Seo, K
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2000, 18 (04) : 582 - 592
  • [10] A Survey of Security Techniques for the Border Gateway Protocol (BGP)
    Nicholes, Martin O.
    Mukherjee, Biswanath
    IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2009, 11 (01): : 52 - 65
12345