Journal article icon

Journal article

Detecting Malicious Code by Model Checking.

Abstract:

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

Actions


Access Document


Publisher copy:
10.1007/11506881_11

Authors


Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer Publisher's website
Journal:
DIMVA
Volume:
3548
Pages:
174-187
Publication date:
2005-01-01
DOI:
ISSN:
0302-9743
Source identifiers:
332666
Language:
English
Keywords:
Pubs id:
pubs:332666
UUID:
uuid:1e5dfd16-cc07-4eec-bcfe-04458f6c9f64
Local pid:
pubs:332666
Deposit date:
2012-12-19

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP