Security

Formalization of Malware Through Process Calculi

Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 306.52 KB