Formalization of malware through process calculi

Grégoire JacobEric FiliolHervé Debar
Published in: CoRR (2009)