ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

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.

[img] PDF
India_Soft_Eng_Con_49_2012.pdf - Published Version
Restricted to Registered users only

Download (160kB) | Request a copy
Official URL: http://dx.doi.org/10.1145/2134254.2134263

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 View Item