Static Analysis of Routing and Firewall Policy Configurations.
Miroslav SvédaOndrej RysavýGayan de SilvaPetr MatousekJaroslav RábPublished in: ICETE (Selected Papers) (2010)
Keyphrases
- static analysis
- java card
- dynamic analysis
- source code
- symbolic execution
- malicious code
- test generation
- network security
- regular expressions
- optimal policy
- abstract interpretation
- routing protocol
- network traffic
- routing algorithm
- shortest path
- ad hoc networks
- data sets
- packet filtering
- test suite
- smart card
- intrusion detection
- training data
- decision trees