Formalization of Malware Through Process Calculi

Since the seminal work from F. Cohen in the eighties, paper 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 paper provides a basis for a unified malware model founded on process algebras and in particular the Join-Calculus.