Packet flow analysis in IP networks via abstract interpretation

Details Packet flow analysis in IP networks via abstract interpretation Packet flow analysis in IP networks via abstract interpretation

2011-11-29

arxiv.org/abs/1111.6808v1

Computer Science

Networking and Internet Architecture

8 pages

Scientific paper

Static analysis (aka offline analysis) of a model of an IP network is useful for understanding, debugging, and verifying packet flow properties of the network. There have been static analysis approaches proposed in the literature for networks based on model checking as well as graph reachability. Abstract interpretation is a method that has typically been applied to static analysis of programs. We propose a new, abstract-interpretation based approach for analysis of networks. We formalize our approach, mention its correctness guarantee, and demonstrate its flexibility in addressing multiple network-analysis problems that have been previously solved via tailor-made approaches. Finally, we investigate an application of our analysis to a novel problem -- inferring a high-level policy for the network -- which has been addressed in the past only in the restricted single-router setting.

Affiliated with

Also associated with

No associations

Rating

Packet flow analysis in IP networks via abstract interpretation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Packet flow analysis in IP networks via abstract interpretation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Packet flow analysis in IP networks via abstract interpretation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-16459