A Semi-Markovian Model of the Spread of Viruses in a Computer System | IEEE Conference Publication | IEEE Xplore