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 条
  • [41] Symbolic path-based protocol verification
    Liu, WC
    Chung, CG
    INFORMATION AND SOFTWARE TECHNOLOGY, 2000, 42 (04) : 245 - 255
  • [42] A New Path Verification Protocol for Securing BGP
    Wang, Na
    Zhi, Yingjian
    Wang, Binqiang
    HPCC 2008: 10TH IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, PROCEEDINGS, 2008, : 425 - 431
  • [43] Path-based protocol verification approach
    Liu, WC
    Chung, CG
    INFORMATION AND SOFTWARE TECHNOLOGY, 2000, 42 (04) : 229 - 244
  • [44] Verification of Secure Gateway Selection Protocol Using PI-Calculus
    Rai, Abhay Kumar
    Tewari, Rajiv Ranjan
    2013 4TH NIRMA UNIVERSITY INTERNATIONAL CONFERENCE ON ENGINEERING (NUICONE 2013), 2013,
  • [45] Receive wireless sensor data through IoT gateway using web client based on border gateway protocol
    Yan, Meng
    HELIYON, 2024, 10 (11)
  • [46] Securing End-Node to Gateway Communication in LoRaWAN With a Lightweight Security Protocol
    Barriga, Jhonattan J.
    Guun Yoo, Sang
    IEEE ACCESS, 2022, 10 : 96672 - 96694
  • [47] Optical routing border gateway protocol-based advance lightpath setup
    Hafid, A
    Abdelilah, M
    Mazen, KG
    Drissi, J
    2005 Systems Communications, Proceedings: ICW 2005, WIRELESS TECHNOLOGIES; ICHSN 2005, HIGH SPEED NETWORKS; ICMCS 2005, MULTIMEDIA COMMUNICATIONS SYSTEMS; SENET 2005, SENSOR NETWORKS, 2005, : 223 - 228
  • [48] Introduction to The Border Gateway Protocol - Case Study using GNS3
    Narasimhan, Sreenivasan
    Latchman, Haniph
    WMSCI 2011: 15TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, 2011, : 315 - 320
  • [49] Design and Analysis QoS VoIP using Routing Border Gateway Protocol (BGP)
    Ramadhan, Eko
    Firdausi, Ahmad
    Budiyanto, Setiyo
    2017 INTERNATIONAL CONFERENCE ON BROADBAND COMMUNICATION, WIRELESS SENSORS AND POWERING (BCWSP), 2017, : 17 - 20
  • [50] A Lightweight Payment Verification Protocol for Blockchain Transactions on IoT Devices
    Pouraghily, Arman
    Wolf, Tilman
    2019 INTERNATIONAL CONFERENCE ON COMPUTING, NETWORKING AND COMMUNICATIONS (ICNC), 2019, : 617 - 623
12345