Rule-Based Static Analysis of Network Protocol Implementations.

Octavian Udrea Cristian Lumezanu

Published in: USENIX Security Symposium (2006)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
regular expressions
data driven
expert systems
test generation
java card
data sets
rule base
abstract interpretation
data mining
query evaluation
semi automatic
data integration
case study