-
题名概率模型检测的网络传播干预策略
被引量：1
- 1
-
-
作者
李宙洲
魏欧
郭宗豪
余鹏
韩兰胜
-
机构
南京航空航天大学计算机科学与技术学院
华中科技大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2017年第6期1175-1180,共6页
-
基金
国家"九七三"重点基础研究发展计划项目(2014CB744904)资助
国家自然(61170043
61272033)资助
-
文摘
网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律,引入了概率网络传播模型,将干预目标描述为相应的概率时序逻辑属性,提出了概率情况下的网络传播干预策略问题;进一步,以离散的邮件病毒传播模型为研究对象,重点分析了安装防护,定期防护两种防护措施,给出了相应的干预策略分析问题;并且,采用概率模型检测工具PRISM,结合近似模型检测方法,进行了实验分析.
-
关键词
概率模型检测
网络传播干预策略
近似模型检测方法
形式化方法
-
Keywords
probabilistic model checking
network propagation intervention
approximate probabilistic model checking
formal methods
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
