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]
@inproceedings{JacobFD10,
title = {Formalization of Viruses and Malware Through Process Algebras},
author = {Grégoire Jacob and Eric Filiol and Hervé Debar},
year = {2010},
doi = {10.1109/ARES.2010.59},
url = {http://doi.ieeecomputersociety.org/10.1109/ARES.2010.59},
tags = {process algebra, algebra},
researchr = {https://researchr.org/publication/JacobFD10},
cites = {0},
citedby = {0},
pages = {597-602},
booktitle = {ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3965-2},
}