Recognizing malicious software behaviors with tree automata inference.

Domagoj Babic Daniel Reynaud Dawn Song

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

tree automata
syntactic pattern recognition
malicious behavior
regular expressions
finite automata
finite state
tree languages
source code
finite automaton
database
information retrieval
knowledge representation
building blocks
context dependent