Modeling and Restraining Mobile Virus Propagation | IEEE Journals & Magazine | IEEE Xplore