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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.