Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formalization of malware through process calculi   Since the seminal work from F. Cohen in the eighties, abstract virology has
seen the apparition of successive viral models, all based on Turing-equivalent
formalisms. But considering recent malware such as rootkits or k-ary codes,
these viral models only partially cover these evolved threats. The problem is
that Turing-equivalent models do not support interactive computations. New
models have thus appeared, offering support for these evolved malware, but
loosing the unified approach in the way. This article provides a basis for a
unified malware model founded on process algebras and in particular the
Join-Calculus. In terms of expressiveness, the new model supports the
fundamental definitions based on self-replication and adds support for
interactions, concurrency and non-termination allows the definition of more
complex behaviors. Evolved malware such as rootkits can now be thoroughly
modeled. In terms of detection and prevention, the fundamental results of
undecidability and isolation still hold. However the process-based model has
permitted to establish new results: identification of fragments from the
Join-Calculus where malware detection becomes decidable, formal definition of
the non-infection property, approximate solutions to restrict malware
propagation.

12
The categories of this paper are: nucl-th
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an