Formalization of Viruses and Malware Through Process Algebras

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]

Authors

Grégoire Jacob

This author has not been identified. Look up 'Grégoire Jacob' in Google

Eric Filiol

This author has not been identified. Look up 'Eric Filiol' in Google

Hervé Debar

This author has not been identified. Look up 'Hervé Debar' in Google