Robustness-testing Technologies Of Inter-domain Routing Protocol BGP-4

With the development of computer network technologies, Internet has become the core global communicating infrastructure. As the sole of Internet, protocol is the special syntactic and semantic set of rules or conventions for exchanging information among communicating devices. But any flaws or faults of protocol will bring disaster to the stability, dependability, security, connectivity, interoperation or fault-tolerant of the whole system. Nowadays, Researchers are keen on designing, implementing and testing of robust protocol.The Border Gateway Protocol version 4 is the de-facto standard inter-domain routing protocol deployed in today's Internet. As the economy and critical infrastructure increasingly rely on the Internet, the insecurity and vulnerabilities of the underlying BGP stand out as the Achilles heel. Robustness-testing is an efficient way to ensure and improve the robustness of protocol. Any evolutions of BGP robustness-testing will improve the reliability of Internet directly. Moreover, BGP has the common characteristics of routing protocol, the methodology and framework of BGP robustness-testing can apply to other protocol's testing.This dissertation analyzed the group of BGP specifications completely, and then presented new methodology and framework of BGP robustness-testing based on the characteristics of BGP, the developments of Internet and the chanllenges of BGP faced. Focusing on the key technologies of generating the robustness-testing suit and designing the robustness-testing system, the aims of this dissertation are restricted but not limited to the following sub domains and related technologies:1. Taxonomy of BGP Robust Faults. Firstly, by comprehensively analyzing the robustness issues of BGP specifications, the dissertation documents the robust design consideration of the group of BGP specifications. Secondly, based on the continuously researching and developping on BGP, according to the process of protocol design, implementation, usage and extention, this dissertation analyses and classifies the robust faults of BGP systematically. Categorizing the vulnerabilities can help protocol design and development teams aware of the common vulnerability classes so that they can avoid repeating the mistakes which makes those vulnerabilities possible. And more important is that the robust faults of BGP provide the targets for robustness-testing, which will direct the following works.2. NC (Network Communicating) Robustness-testing Based on RFSM. The function of NC is to establish reliable communication channels for routing information flows. The NC part of BGP appears in an FSM, which can handle the peers' set-up, maintain the TCP connections and negotiate parameters. This dissertation presents a systematic robustness testing approach. The approach first inspects the disadvantages of the original concept of FSM that mixes the function procedure and the robustness procedure. By adding states, events, and transitions to resist various impacts, then the RFSM (Robustness Finite State Machines) is proposed, which is an FSM Model with robustness procedures. And the RFSM of BGP is constructed in details. Moreover, this dissertation also discusses the problems of generating negative test cases based on RFSM: the characteristic sequence of robustness procedures and the test oracle. At last the robustness-testing suit of NC is generated by the presented approach. Furthermore, this approach based on RFSM is a general-purpose method, and it fits robustness-testing of any FSM.3. Rl-Pro (Routing Information Processing) Robustness-testing Based on Scenario Model. The function of Rl-Pro is originating and propagating the routing information as well as calculating and updating the routing table. This part represents the primary function of a routing protocol, and Rl-Pro testing is rather a software-testing than a protocol-testing. This dissertation presents a...