Detecting Malicious Code by Model Checking.
The ease of compiling malicious code from source code in higher programming languages has increased the volatility of malicious programs: The first appearance of a new worm in the wild is usually followed by modified versions in quick succession. As demonstrated by Christodorescu and Jha, however, classical detection software relies on static patterns, and is easily outsmarted. In this paper, we present a flexible method to detect malicious code patterns in executables by model checking. Whil...Expand abstract
- Publisher copy:
- Copyright date:
If you are the owner of this record, you can report an update to it here: Report update to this record