Model Checking Probabilistic Network Propagation Protection Strategies
Guo Zonghao, Wei Ou, Peng Yu, Han Lansheng, Weiming Wu · 2016
Network exists widely in nature and human society. The spread of infections such as computer viruses, diseases and rumors poses great challenges to economic and social system. It is an important issue in the network propagation control to protect individuals by finding effective intervention strategies. By analyzing network propagation processes, we build the probabilistic network propagation model and express the intervention goals as probabilistic logical properties. Furthermore, we propose to use probabilistic model checking method to solve intervention problem. In addition, we take the discrete spreading model of the email virus as an example and make a further study on three kinds of specific protective measures including the free propagation, the installation protection and the periodical protection. We conduct experiments with the probabilistic model checker PRISM and apply approximate probabilistic model checking method to solve large-scale problem. The results demonstrate the efficiency and feasibility of our proposed method.