Modeling malware propagation using a carrier compartment | Publicación