Modeling Propagation Dynamics of Bluetooth Worms (Extended Version) | IEEE Journals & Magazine | IEEE Xplore