摘要
网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律,引入了概率网络传播模型,将干预目标描述为相应的概率时序逻辑属性,提出了概率情况下的网络传播干预策略问题;进一步,以离散的邮件病毒传播模型为研究对象,重点分析了安装防护,定期防护两种防护措施,给出了相应的干预策略分析问题;并且,采用概率模型检测工具PRISM,结合近似模型检测方法,进行了实验分析.
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 societal system. It is an important issue in the network propagation control to protect individuals by finding effective intervention strategies. By analyzing the innate laws of propagation processes, the probabilistic network propa- gation model is used and the intervention goals are expressed as probabilistic logical properties, and thus we put forward probabilistic intervention strategies. Moreover,the discrete spreading model of the email virus is taken as an example and a further study on two kinds of protective measures including the installing protection, the periodical protection is made. Then analyses of intervention strategies are summarized. Furthermore, and experiments are conducted by the probabilistic model checker PRISM with approximate proba- bilistic model checking.
出处
《小型微型计算机系统》
CSCD
北大核心
2017年第6期1175-1180,共6页
Journal of Chinese Computer Systems
基金
国家"九七三"重点基础研究发展计划项目(2014CB744904)资助
国家自然(61170043
61272033)资助
关键词
概率模型检测
网络传播干预策略
近似模型检测方法
形式化方法
probabilistic model checking
network propagation intervention
approximate probabilistic model checking
formal methods
