Mining Malware Specifications through Static Reachability Analysis.
Hugo Daniel MacedoTayssir TouiliPublished in: CoRR (2013)
Keyphrases
- reachability analysis
- model checking
- dynamic analysis
- markov decision processes
- timed automata
- control flow
- formal specification
- data mining
- state space
- sequential patterns
- incremental algorithms
- malware detection
- knowledge base
- pattern mining
- temporal logic
- machine learning
- reverse engineering
- frequent itemsets
- data mining techniques
- knowledge discovery
- static analysis
- itemsets
- artificial intelligence
- text mining
- dynamic programming