A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
Packet flow analysis in IP networks using data-flow analysis
2012
Proceedings of the 5th India Software Engineering Conference on - ISEC '12
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.
doi:10.1145/2134254.2134263
dblp:conf/indiaSE/KomondoorLSB12
fatcat:y5wo35q3jjctlj27mc3gglhade