Automata-based symbolic string analysis for vulnerability detection.

Fang Yu Muath Alkhalaf Tevfik Bultan Oscar H. Ibarra

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

Keyphrases

intrusion detection
automatic analysis
automatic detection
genetic algorithm
decision making
reliable detection
image processing