Diomidis Spinellis  Home/Search
Context Related
| dmst.aueb.gr/dds/pubs/jrn...npvirus.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dmst.aueb.gr/dds/pubs/j...npvirus (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A virus is a program that replicates itself by copying its code into other files. A common virus protection mechanism involves scanning files to detect code patterns of known viruses. We prove that the problem of reliably identifying a bounded-length mutating virus is NP-complete by showing that a virus detector for a certain virus strain can be used to solve the satisfiability problem. The implication of this result is that virus identification methods will be facing increasing strain as virus ... (Update)
Cited by: More
Unknown - (2006) (Correct)
Algebraic Specification of Computer Viruses - And Their Environments (Correct)
Security Applications of Peer-to-Peer Networks - Vasileios Vlachos Stephanos (2004) (Correct)
Similar documents (at the sentence level): More
7.3%: Information Systems Security in the Greek Public Sector - Euripidis Loukis And (2000) (Correct)
7.3%: Checking C Declarations at Link Time - Spinellis (1993) (Correct)
7.3%: Implementing Haskell: Language Implementation as a Tool Building .. - Spinellis (1993) (Correct)
Active bibliography (related documents): More All
0.3: An Overview of Computer Viruses in a Research Environment - Bishop (1992) (Correct)
0.2: Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (Correct)
0.2: A Taxonomy of Computer Program Security Flaws, with.. - Landwehr, Bull.. (1993) (Correct)
Similar documents based on text: More All
0.2: Lightweight Languages as Software Engineering Tools - Spinellis, al. (1997) (Correct)
0.2: Global Analysis and Transformations in Preprocessed Languages - Spinellis (2003) (Correct)
0.2: A Bibliography of Publications of Diomidis Spinellis - Diomidis Spinellis University (Correct)
Related documents from co-citation: More All
2: Code Red II. Current on-line (June 2003.
2: Computational Aspects of Computer Viruses (context) - Cohen - 1989
2: Hunting for metamorphic (context) - Szor, Ferrie - 2001
BibTeX entry: (Update)
Spinellis, D., Reliable Identification of BoundedLength Viruses is NP-Complete, IEEE Transactions on Information Theory, 49(1): 280-284, 2003. http://citeseer.ist.psu.edu/spinellis03reliable.html More
@misc{ spinellis03reliable,
author = "D. Spinellis",
title = "Reliable Identification of BoundedLength Viruses is NP-Complete",
text = "Spinellis, D., Reliable Identification of BoundedLength Viruses is NP-Complete,
IEEE Transactions on Information Theory, 49(1): 280-284, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/spinellis03reliable.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
214 A fast string searching algorithm (context) - Boyer, Moore - 1977
95 On computable numbers, with an application to the Entscheidu.. (context) - Turing - 1936
52 Reflections on trusting trust (context) - Thompson - 1984
29 Buffer overflows: Attacks and defenses for the vulnerability.. (context) - Cowan, Wagle et al. - 2000
27 Computer viruses: Theory and experiments (context) - Cohen - 1987
22 With microscope and tweezers: An analysis of the internet vi.. - Eichlin, Rochlis - 1988
20 A taxonomy of computer program security flaws (context) - Landwehr, Bull et al. - 1994
13 RFC 1321: The MD5 message-digest algorithm (context) - Rivest - 1992
9 Computational aspects of computer viruses (context) - Cohen - 1989
8 Sandboxing applications - Prevelakis, Spinellis - 2001
6 Experience with viruses on UNIX systems (context) - Duff - 1989
6 Computer viruses (context) - Denning - 1988
4 An undetectable computer virus - Chess, White - 2000
1 Analysis and detection of computer viruses and worms: An ann.. (context) - Singh, Lakhotia - 2002
1 Virology 101 (context) - McIlroy - 1989
1 The complexity of theorem prooving procedures (context) - Cook - 1971
1 A computer virus primer (context) - Spafford, Heaphy et al. - 1990
1 W32/Simile (context) - Perriot, Ferrie et al. - 2002
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC