Grégoire Jacob, Eric Filiol, Hervé Debar. Formalization of Viruses and Malware Through Process Algebras. In ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland. pages 597-602, IEEE Computer Society, 2010. [doi]
Abstract is missing.