Security Management White Papers
A Semantics-Based Approach to Malware Detection
Overview Malware detection is a crucial aspect of software security. Current malware detectors work by checking for "Signatures," which attempt to capture (syntactic) characteristics of the machine-level byte sequence of the malware. This reliance on a syntactic approach makes such detectors vulnerable to code obfuscations, increasingly used by malware writers that alter syntactic properties of the malware byte sequence without significantly affecting their execution behavior. This paper takes the position that the key to malware identification lies in their semantics. It proposes a semantics-based framework for reasoning about malware detectors and proving properties such as soundness and completeness of such detectors. Their approach uses trace semantics to characterize the behaviors of malware as well as the program being checked for infection, and uses abstract interpretation to "Hide" irrelevant aspects of these behaviors.
| Publisher | Association for Computing Machinery | File Format | |
|---|---|---|---|
| Date Published | July 2007 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful?
White Paper RSSBalancing Security Against Productivity
DownloadWhat makes for great security? Is it about keeping the bad guys out or letting the good guys in? About defending attacks or preventing them? When IDG Research Services queried...
Activate Today!Realize ROI with Intel® vPro Technology and Microsoft System Configuration Manager
Join the team from the Intel vPro Expert Center for an informative Webcast on the ROI savings and activation process for PCs with Intel® vPro™ technology and Microsoft System Configuration...
Animated Demo of vPro Systems
This animated demo shows how vPro offers security and manageability on the chip.
Tube Lines reaps rewards of upgrading to Intel®Core™2 processor with vPro™technology
Tube Lines has a 30-year Public Private Partnership (PPP) contract with London Underground. It is responsible for the maintenance and upgrade of the infrastructure on the Jubilee, Northern and Piccadilly...
Video Case Study: Verizon UK
This video case study looks at how Chris Maylor, head of architecture services at Verizon UK, went about implementing vPro.
