Exact Modeling of Propagation for Permutation-Scanning Worms | IEEE Conference Publication | IEEE Xplore