Read Predicting Host Level Reachability via Static Analysis of Routing Protocol

Predicting Host Level Reachability via Static Analysis of Routing Protocol

Stephen McManus Jr.

4.9/5 (32111 ratings)

Description:Static analysis refers to techniques that extract and check the semantics of a program entirely from examining its source code. In this case, router configuration files can be thought of as the source code of a distributed program whose execution determines the host level reachability of the network. Static analysis brings about new challenges. Unlike a regular computer program, router configuration commands hide the detailed logic of routing protocols. Completely constructing the logic for static analysis of router configuration files is difficult and even impossible in some cases where the network has a large number of concurrently running routing processes distributed over many routers and variable network delays make the interactions between these processes too complex to understand exactly. This research takes an initial step in understanding the power of static analysis. A system is built to infer the packet forwarding table of each router from the router configuration files. The scope of the work is confined to networks where OSPF is used exclusively for routing. The system is able to infer the exact forwarding tables of the Cisco routers for several lab test networks.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Predicting Host Level Reachability via Static Analysis of Routing Protocol. To get started finding Predicting Host Level Reachability via Static Analysis of Routing Protocol, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: 136

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: 2012

ISBN

Description: Static analysis refers to techniques that extract and check the semantics of a program entirely from examining its source code. In this case, router configuration files can be thought of as the source code of a distributed program whose execution determines the host level reachability of the network. Static analysis brings about new challenges. Unlike a regular computer program, router configuration commands hide the detailed logic of routing protocols. Completely constructing the logic for static analysis of router configuration files is difficult and even impossible in some cases where the network has a large number of concurrently running routing processes distributed over many routers and variable network delays make the interactions between these processes too complex to understand exactly. This research takes an initial step in understanding the power of static analysis. A system is built to infer the packet forwarding table of each router from the router configuration files. The scope of the work is confined to networks where OSPF is used exclusively for routing. The system is able to infer the exact forwarding tables of the Cisco routers for several lab test networks.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Predicting Host Level Reachability via Static Analysis of Routing Protocol. To get started finding Predicting Host Level Reachability via Static Analysis of Routing Protocol, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Predicting Host Level Reachability via Static Analysis of Routing Protocol

Predicting Host Level Reachability via Static Analysis of Routing Protocol

More Books

New Generation Vaccines

New Generation Vaccines

America and the Sea: Treasures from the Collections of Mystic Seaport

America and the Sea: Treasures from the Collections of Mystic Seaport