Markovian modeling and analysis of Internet worm propagation | IEEE Conference Publication | IEEE Xplore