Packet flow analysis in IP networks via abstract interpretation
Raghavan KomondoorK. Vasanta LakshmiDeva P. SeetharamSudha BalodiaPublished in: CoRR (2011)
Keyphrases
- flow analysis
- ip networks
- abstract interpretation
- ip traffic
- termination analysis
- internet protocol
- static analysis
- information flow
- network management
- active rules
- communication networks
- model checking
- quality of service
- network design
- network security
- active databases
- reasoning engine
- tcp ip
- mobile networks
- dynamic analysis
- internet traffic
- internet service providers
- end to end
- computer networks
- network resources
- mobile agents
- source code
- network traffic
- ip addresses
- databases