http://www.dmst.aueb.gr/dds/pubs/jrnl/2002-ieeetit-npvirus/html/npvirus.html This is an HTML rendering of a working paper draft that led to a publication. The publication should always be cited in preference to this draft using the following reference:
Citation(s): 121 (Google Scholar), 63 (selected). This document is also available in PDF format. The document's metadata is available in BibTeX format. Find the publication on Google Scholar This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. |
Keywords: buffer-overflow, complexity, detection, identification, mutation, NP-complete, security, virus
An often-used defence against computer viruses is the execution of an anti-virus program that detects and cleans programs that appear to be infected. Virus writers respond to this defence by trying to thwart anti-virus software through targeted attacks, mutations, or social engineering. Mutating viruses are a particularly insidious threat, because detection algorithms need to be constantly updated and to spend increasing processing time to identify new mutation types. The question of whether complexity theory is on the side of virus writers or the protection vendors could have important practical implications. In this paper we will prove that there exist realistic viruses whose reliable detection is of np-complete complexity 1 and that therefore the general problem of reliable bounded-length virus identification is np-complete.
Intentionally created malicious software 2—often termed malware—is typically classified into Trojan horses, viruses, and worms 3. A Trojan horse is a program that exploits the rights of its user to perform an action its user does not intend, a virus is a Trojan horse that replicates itself by copying its code into other program files 4, while a worm is an independently-running program that replicates through a network exploiting security weaknesses to invade other computers.
A number of virus prevention and detection methods have been proposed and are commonly implemented 5, [6]. Reference 7 contains an annotated bibliography of malware analysis and detection papers. Prevention methods involve limiting the flow of information between programs through the use of appropriate hardware and software protection domains, coupled with self-defence mechanisms, instrumentation, and fault-tolerance. Since the above methods will typically interfere with many legitimate operations (such as the installation of new software or the correction of an existing version) they need to be coordinated through carefully designed and executed security procedures. Unfortunately current practice in system administration often renders these methods useless. A large percentage of users typically administer their personal workstations on their own, in most cases exercising the full rights of the system administrator, without sufficient training and diligence.
Therefore, as a secondary line of defence, detection measures are often employed to locate virus instances and infections. Two often used detection measures involve either the comparison of the system’s programs against known-good versions (typically condensed in the form of a checksum or a cryptographically secure signature 8) or the comparison of files against patterns of known viruses. Since the first method depends on a known-clean system and can not be used to check software of unknown origin, the second, scanning, method is the one most commonly employed. A number of software vendors provide virus-scanning software that can search new and existing system files for patterns of all known viruses. The vendors regularly distribute updated versions of the virus patterns to keep the virus detection process up-to-date.
Virus writers however, have developed a series of countermeasures. Even early academic examples of viral code were cleverly engineered to hinder the detection of the virus 9. Since the actual task of writing a virus is relatively simple 10, [11] modern virus code focuses on employing platform independence, stealth, effective replication, and detection countermeasures. Three pattern-matching detection countermeasures typically employed are the encryption of the virus body with a variable cryptographic key, the polymorphic generation of the decryption routine using equivalent code instructions, and, more recently, the metamorphic generation of the whole virus body through the addition, removal, permutation, and substitution of code sequences. Viruses that employ these techniques, such as W32/Simile 12 can be very difficult to identify. In the following section we establish that reliably detecting instances of such viruses is a problem of np-complete complexity.
A virus is formally defined 13 by reference to a Turing Machine 14 \[\begin{array}{ll} M:(&S_M, I_M, O_M: S_M \times I_M \rightarrow I_M, \\ &N_M: S_M \times I_M \rightarrow S_M, D_M: S_M \times I_M \rightarrow d) \\ \end{array}\] with a given set of states \(S_M\), set of input symbols \(I_M\), and maps \((O_M, N_M, D_M)\) that, based on its current state \(s \in S_M\) and input symbol \(i \in I_M\) coming from a semi-infinite tape, determine: the output symbol \(o \in I_M\) to write on the tape, the machine’s next state \(s' \in S_M\), and the tape’s motion \(d \in \{-1,0,1\}\).
Given the machine \(M\), a sequence of tape symbols \(v: v_i \in I_M\) can be considered as a virus for that machine iff, processing the sequence \(v\) at time (sequence point) \(t\) implies that at a future time point \(t'\) a sequence \(v'\)—not overlapping with \(v\)—will exist on the tape, and that the sequence \(v'\) will have been written by \(M\) at a point \(t''\) lying between \(t\) and \(t'\):
\[\begin{array}{ll} \forall \Box_M\:\forall t \:\forall j :\\ \;\; S_M(t) = S_{M_0} & \wedge \\ \;\; P_M(t) = j & \wedge \\ \;\; \{\Box_M(t,j) \ldots \Box_M(t, j+|v|-1)\} = v & \Rightarrow \\ \exists v' \:\exists j' \:\exists t' \:\exists t'': \\ \;\; t < t'' < t' & \wedge \\ \;\; \{j' \ldots j' + |v'|\} \cap \{j \ldots j + |v|\} = \emptyset & \wedge \\ \;\; \{\Box_M(t',j') \ldots \Box_M(t', j'+|v'|-1)\} = v' & \wedge \\ \;\; P_M(t'') \in \{j' \ldots j'+|v'|-1\} \end{array}\]
where
\(t \in \mathbb N\) stands for the number of times the machine has performed its basic operation—“move”
\(P_M(t) \in \mathbb N\) represents the machine’s tape cell position number at time \(t\)
\(S_{M_0}\) is the machine’s initial state
\(\Box_M(t, c) \in I_M\) represents the content of cell \(c\) at time \(t\)
Note that in the original seminal reference 13 the above virus definition appears in the context of a viral set \(VS = (M, V)\): a tuple consisting of a Turing Machine \(M\) and a set of symbol sequences \(V: v, v' \in V\). From the virus definition it is clear that the notion of a virus is intimately associated with its interpretation in a given context—environment. It has been shown 13 that “any self-replicating tape symbol sequence is a one element \(VS\), that there are countably infinite \(VS\)s and non \(VS\)s, that machines exist for which all tape sequences are viruses and for which no tape sequences are viruses, and that any finite sequence of tape symbols is a virus with respect to some machine.” The same reference also proves that in the general case determining whether a given tuple \((M, X): X_i \in I_M\) is viral is an undecidable problem (i.e. that there is no algorithm that can reliably detect all viruses) through a reasoning similar to that employed to prove the undecidability of the Halting Problem 14. Other researchers have shown that there are also virus types (viruses that evolve to contain an instance of the virus detection program) that can not be detected by any error-free algorithm 15.
As is often the case, current practice differs from theory. Typical pattern based virus detection software scans a (relatively) known environment (processor architecture and operating system) to locate one of several (thousands in practice) a-priori known viruses. In the following paragraphs we will therefore establish the complexity of the more restricted problem of locating an instance of a known finite length virus in a given execution environment. For instance, the virus programs we provide in the appendices are only viral in the context of compilation and execution following the rules of Haskell and ansi C/posix, respectively.
The complexity of detecting a known fixed virus pattern of length \(M\) in a program of length \(N\) is harnessed by the Boyer-Moore string-searching algorithm 16 which never uses more than \(N+M\) steps and under many circumstances (a small pattern and a large alphabet) can use about \(N/M\) steps. Unfortunately, as we saw in the previous section, virus writers are seldom thus accommodating; fixed search patterns are not any more a viable virus detection method. We will prove that the problem of reliably identifying a bounded-length mutating virus is np-complete. Our proof is based on showing that a virus detector \(D\) for a certain virus strain \(V\) can be used to solve the satisfiability problem, which is known to be np-complete 17. (This approach works in the same way for any similar np-complete problem; the satisfiability of the problem we are examining is not a special case.)
The virus \(V\) is a mutating self-replicating program. We assume that the virus detector \(D\) can reliably determine in p-time whether a given candidate program \(C\) is a mutation of the virus \(V\). We will use the virus detector as an oracle for determining the satisfiability of an \(N\)-term boolean formula \(S\) of the following type: \[\begin{array}{lll} S = & (x_{a_{1,1}} \vee x_{a_{1,2}} \vee \neg x_{a_{1,3}} \vee \ldots) & \wedge \\ & (\neg x_{a_{2,1}} \vee x_{a_{2,2}} \vee \neg x_{a_{2,3}} \vee \ldots) & \wedge \\ & (x_{a_{3,1}} \ldots) & \wedge \\ & \vdots & \\ \end{array}\] \[0 \leq a_{i,j} < N\] and thereby show that a p-time reliable virus detector is equivalent to a p-time solution to the satisfiability problem.
We will use the satisfiability formula \(S\) to create a virus archetype \(A\) and a possible instance of a virus phenotype \(P\). The virus is a triple \[(f, s, c)\] where
\(f\) is the virus processing and replication function
\(s\) is a boolean value indicating whether an instance of the virus has found a solution to \(S\)
\(c\) is an integer encoding the candidate values for \(S\)
The function \(f\) maps a triple \((f, s, c)\) into a new triple \((f, s', c')\) and is defined as follows: \[\lambda (f, s, c) . (f, s \vee S, {\rm if} c = 2^N\ {\rm then}\ c\ {\rm else}\ c + 1)\] Each \(S\) term \(x_n\) is calculated from \(c\) through the expression \[\left\lfloor \frac{c}{2^n} \right\rfloor \bmod 2 = 1\] A new generation of the virus is generated by applying \(f\) to the current generation.
Expressed in words, each new virus generation
evaluates \(S\) by extracting successive boolean value combinations from \(c\)
increments \(c\) until it reaches \(2^N\)
passes the result of the \(S\) evaluation to the next generation
We can now ask \(D\) whether the virus archetype \(A\) \[(f, {\rm False}, 0)\] will ever result in a virus mutation phenotype \(P\) \[(f, {\rm True}, 2^N)\] that is whether one of the virus mutations will satisfy \(S\).
We have thus proven that a reliable virus detector \(D\) operating in p-time can be used as a p-time satisfiability oracle and that therefore reliable virus detection is np-complete.
As an example for the operation of the virus consider the satisfiability of the formula \(S\) \[(x_0 \vee x_1) \wedge \neg x_0\] The virus replication function \(f\)—after omitting for simplicity of expression the conditional, which only serves to limit the number of virus mutations—will be: \[\lambda (f, s, c) . (f, s \vee (x_0 \vee x_1) \wedge \neg x_0, c + 1)\] the corresponding archetype \(A\): \[(\lambda (f, s, c) . (f, s \vee (x_0 \vee x_1) \wedge \neg x_0, c + 1), {\rm F}, 0)\] and the phenotype \(P\) indicating satisfiability: \[(\lambda (f, s, c) . (f, s \vee (x_0 \vee x_1) \wedge \neg x_0, c + 1), {\rm T}, 4)\] This particular virus will generate a mutation \(P\)—and thereby indicate that \(S\) is satisfiable—in four generations through the following sequence: \[\begin{array}{l@{}l} f f f f A & \rightarrow \\ f f f \lambda (f, s, c) . (f, s \vee (x_0 \vee x_1) \wedge \neg x_0, c + 1) \\ \;\; (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm F}, 0) & \stackrel{\beta}{\rightarrow} \\ f f f (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm F} \vee ({\rm F} \vee {\rm F}) \wedge \neg {\rm F}, 0 + 1) & \stackrel{\delta}{\rightarrow} \\ f f f (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm F}, 1) & \rightarrow \\ f f \lambda (f, s, c) . (f, s \vee (x_0 \vee x_1) \wedge \neg x_0, c + 1) \\ \;\; (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm F}, 1) & \stackrel{\beta}{\rightarrow} \\ f f (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm F} \vee ({\rm T} \vee {\rm F}) \wedge \neg {\rm T}, 1 + 1) & \stackrel{\delta}{\rightarrow} \\ f f (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm F}, 2) & \rightarrow \\ f \lambda (f, s, c) . (f, s \vee (x_0 \vee x_1) \wedge \neg x_0, c + 1) \\ \;\; (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm F}, 2) & \stackrel{\beta}{\rightarrow} \\ f (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm F} \vee ({\rm F} \vee {\rm T}) \wedge \neg {\rm F}, 2 + 1) & \stackrel{\delta}{\rightarrow} \\ f (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm T}, 3) & \rightarrow \\ \lambda (f, s, c) . (f, s \vee (x_0 \vee x_1) \wedge \neg x_0, c + 1) \\ \;\; (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm T}, 3) & \stackrel{\beta}{\rightarrow} \\ (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm T} \vee ({\rm T} \vee {\rm T}) \wedge \neg {\rm T}, 3 + 1) & \stackrel{\delta}{\rightarrow} \\ (\lambda (f, s, c) . (f, s \vee S, c + 1), {\rm T}, 4) \equiv P \end{array}\]
The creation of metamorphic viruses is a relatively recent phenomenon that places a considerable threat on our information system infrastructures. From a theoretical point of view, the viruses bear remarkable similarities to the virus we have examined and the examples depicted in this paper’s appendices. Virus detection programs however need not be 100% correct. Users can tolerate the (typically remote) possibility of some “noise” (false positives), because in practice it is quite rare for a non-viral program to match the detection pattern of a known virus. As an example, a virus detector that detected this paper’s viruses and also detected as a virus all triplets of the form \((f, s, n): \forall s \ \forall n\) (even cases where \(f\) is a non-satisfiable formula and \(s\) is true) would probably be tolerated as a functioning “good-enough” virus detector, although strictly speaking it detects some false positives. Such a virus detector can be implemented to terminate in linear time and is not np-complete.
Thus, given the difference between the theoretically perfect detection (which is in the general case undecidable, and for known viruses, as we demonstrated, np-complete) and the practically sufficient identification (which is the basis for a number of working virus scanner implementations) two questions arise.
How can the notion of “sufficiently good detection” be formalized in information theory terms?
Can the increasing ability of metamorphic viruses to mutate move the identification threshold currently used by virus detection programs to the point where either numerous legitimate data sequences are falsely detected as viruses, or real viruses fail to be detected?
An interesting phenomenon affecting the above topics concerns the currently permeable boundary between code and data. Buffer overflow attacks 18 are based on data that overwrites a carelessly written program’s return stack address lying at the end of a data buffer to cause the program to execute part of that data. This renders all data files (documents, images, music, video—many of them highly compressed) stored on a computer potential carriers of viral code and dramatically increases the data a virus detector has to scan and discriminate. Few viruses currently propagate through buffer overflows; these weaknesses have traditionally been mainly exploited by worms and Trojan horses 19. However, once such viruses are released, the current virus detection approach will come under increasing strain, faced with the short pattern vectors of mutating viruses and orders of magnitude more data to scan; as an example a 18GB disk filled with mp3 files is likely to contain any 4-byte (virus) pattern. In the medium and long term, hardening our security defences and developing software, procedures, and work practices that will stem the spread of malware seem to be the only reasonable alternatives.
The following code defines the virus replication function and the respective archetype and candidate phenotype, for determining the satisfiability of the expression \[\label{egs} (x_0 \vee x_3 \vee \neg x_4) \wedge (\neg x_1 \vee x_5) \wedge (x_2)\] The satisfiability function candidate values are encoded using Haskell’s arbitrary precision integers.
module Virus where
replicate :: (replicate, Bool, Integer)->
(replicate, Bool, Integer)
replicate (v, b, i) = (v, b ||
(((bit 0 i) || (bit 3 i) ||
not (bit 4 i)) &&
(not (bit 1 i) || (bit 5 i)) &&
((bit 2 i)))
, if i == 64 then i else i + 1)
-- Extract bit b out of the Integer n
bit :: Integer -> Integer -> Bool
bit b n = n `div` (2 ^ b) `rem` 2 == 1
virus_archetype = (replicate, False, 0)
virus_phenotype = (replicate, True, 64)
The following code is the virus archetype, again for determining the satisfiability of the expression ([egs]). The satisfiability function candidate values are encoded as elements of the array x.
#include <stdio.h>
#include <ctype.h>
/* Number of variables to satisfy */
#define N 6
int x[N] = {
0, 0, 0, 0, 0, 0,
};
void
advance(void)
{
int i, j;
for (i = 0; i < N; i++)
if (x[i] == 0) {
for (j = 0; j < i; j++)
x[j] = 0;
x[i] = 1;
return;
}
}
void
print_vector(FILE *f)
{
int i;
for (i = 0; i < N; i++)
fprintf(f, "%c, ", x[i] ? '1' : '0');
fputc('\n', f);
}
main()
{
char buff[1024];
FILE *fi = fopen(__FILE__, "r");
FILE *fo = fopen("new" __FILE__, "w");
if ((x[0] || x[3] || !x[4]) &&
(!x[1] || x[5]) && (x[2]))
fprintf(fo, "/* Satisfied */\n");
advance();
while (fgets(buff, sizeof(buff), fi))
if (isdigit(buff[0]))
print_vector(fo);
else
fputs(buff, fo);
fclose(fi); fclose(fo);
system("cc new" __FILE__);
return 0;
}
The candidate virus phenotype begins as follows:
/* Satisfied */
[...]
int x[N] = {
1, 1, 1, 1, 1, 1,
};
The author acknowledges the valuable suggestions of the anonymous referees on an earlier version of this paper. The publication of this work was supported by the ist project mexpress (IST-2001-33432), which is funded in part by the European Commission.
[1] M. R. Garey and D. S. Johnson, Computers and intractability: A guide to the theory of nP-completeness. W. H. Freeman; Company, 1979.
[2] C. E. Landwehr, A. R. Bull, J. P. McDermott, and W. S. Choi, “A taxonomy of computer program security flaws,” acmcs, vol. 26, no. 3, pp. 211–254, Sep. 1994.
[3] P. J. Denning, “Computer viruses,” American Scientist, pp. 236–238, May-June 1988.
[4] F. Cohen, “Computer viruses: Theory and experiments,” Computers & Security, vol. 6, no. 1, pp. 22–35, Feb. 1987.
[5] E. H. Spafford, K. A. Heaphy, and D. J. Ferbrache, “A computer virus primer,” in Computers under attack: Intruders, worms, and viruses, P. J. Denning, Ed. Addison-Wesley, 1990, pp. 316–355.
[6] V. Prevelakis and D. Spinellis, “Sandboxing applications,” in USENIX 2001 technical conference proceedings: FreeNIX track, 2001, pp. 119–126.
[7] P. K. Singh and A. Lakhotia, “Analysis and detection of computer viruses and worms: An annotated bibliography,” sigplan, vol. 37, no. 2, pp. 29–35, Feb. 2002.
[8] R. Rivest, “The MD5 Message-Digest Algorithm.” RFC 1321 (Informational); IETF, Apr-1992.
[9] K. L. Thompson, “Reflections on trusting trust,” cacm, vol. 27, no. 8, pp. 761–763, Aug. 1984.
[10] T. Duff, “Experience with viruses on UNIX systems,” Computing Systems, vol. 2, no. 2, pp. 155–171, Spring 1989.
[11] M. D. McIlroy, “Virology 101,” Computing Systems, vol. 2, no. 2, pp. 173–184, Spring 1989.
[12] F. Perriot, P. Ferrie, and P. Ször, “W32/Simile.” Online http://www.virusbtn.com/resources/viruses/indepth/simile.xml. Current June 2002, 2002.
[13] F. Cohen, “Computational aspects of computer viruses,” Computers & Security, vol. 8, no. 4, pp. 325–344, Jun. 1989.
[14] A. M. Turing, “On computable numbers, with an application to the Entscheidungs Problem,” Proceedings of the London Mathematical Society, vol. 2, no. 42, pp. 230–265, 1936.
[15] D. M. Chess and S. R. White, “An undetectable computer virus,” in Virus bulletin conference, 2000.
[16] R. S. Boyer and J. S. Moore, “A fast string searching algorithm,” cacm, vol. 20, no. 10, pp. 262–272, Oct. 1977.
[17] S. A. Cook, “The complexity of theorem prooving procedures,” in Proceeding of the 3rd aCM symposium on theory of computing, 1971, pp. 151–158.
[18] C. Cowan, P. Wagle, C. Pu, S. Beattie, and J. Walpole, “Buffer overflows: Attacks and defenses for the vulnerability of the decade,” in Proceedings of the dARPA information survivability conference and exposition, 2000, pp. 1119–1129.
[19] M. W. Eichlin and J. A. Rochlis, “With microscope and tweezers: An analysis of the internet virus of November 1988,” in IEEE symposium on research in security and privacy, 1989, pp. 326–345.
D. Spinellis is an Assistant Professor in the Department of Management Science and Technology at the Athens University of Economics and Business, Athens, Greece. E-mail: dds@aueb.gr .↩
Diomidis Spinellis holds an MEng in Software Engineering and a PhD in Computer Science both from Imperial College (University of London, UK). Currently he is an Assistant Professor at the Department of Management Science and Technology at the Athens University of Economics and Business, Greece. He is the author of the book “Code Reading: The Open Source Perspective” (Addison Wesley, 2003) and more than 60 journal papers and conference presentations. He has contributed software to the BSD Unix distribution, the X-Windows system, and is the author of a number of open-source software packages, libraries, and tools. His research interests include Information Security, Software Engineering, and Ubiquitous Computing.
Dr. Spinellis is a member of the ACM, the IEEE Computer Society, the Greek Computer Society, the Technical Chamber of Greece, and a founding member of the Greek Internet User’s Society. He is a co-recipient of the Usenix Association 1993 Lifetime Achievement Award.