Formalization of Viruses and Malware Through Process Algebras | IEEE Conference Publication | IEEE Xplore