Models For Virus Detection In Contact Networks