Mathematical Models for Malware Propagation