Modeling the Propagation Process of Topology-Aware Worms: An Innovative Logic Matrix Formulation | IEEE Conference Publication | IEEE Xplore