Packet flow analysis in IP networks using data-flow analysis

Komondoor, Raghavan and Lakshmi, Vasanta K and Seetharam, Deva P and Balodia, Sudha (2012) Packet flow analysis in IP networks using data-flow analysis. In: ISEC '12 Proceedings of the 5th India Software Engineering Conference, Feb, 2012, Kanpur, UP, India.

PDF India_Soft_Eng_Con_49_2012.pdf - Published Version Restricted to Registered users only Download (160kB) | Request a copy

Abstract

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. Data-flow analysis is a method that has typically been applied to static analysis of programs. We propose a new, data-flow based approach for static analysis of packet flows in networks. We also investigate an application of our analysis to the problem of inferring a high-level policy from the network, which has been addressed in the past only for a single router.

Item Type:	Conference Paper
Publisher:	Association for Computing Machinery
Additional Information:	Copyright of this article belongs to Association for Computing Machinery.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	08 Nov 2013 05:15
Last Modified:	08 Nov 2013 05:15
URI:	http://eprints.iisc.ac.in/id/eprint/47722

Actions (login required)

View Item