Prediction of disease spread phenomena in large dynamic topology with application to malware detection in ad hoc networks