网络广泛存在于自然界和人类生活中。网络中的各种有害传播给经济、社会、生态等带来巨大挑战,寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题。本文从两个方面研究了采用模型检测技术解决网络传播干预策略问题的方法:(i)通过传统模型检测解决定性干预策略问题;(ii)通过概率模型检测解决概率干预策略问题。一方面,网络传播过程中存在着大量确定性现象,通过确定性模型刻画这些现象具有形象、直观、便于分析等优点。对受时间和邻接点影响的确定性网络传播,在已有静态保护工作的基础上,进一步研究了动态保护情况,总结了四类干预策略分析问题;通过将干预目标描述为相应的时序逻辑属性,给出了通过传统模型检测技术找出有效的干预策略的方法;并且,以随机网络和小世界两种网络为例,比较分析了Nu SMV和SPIN两种模型检测工具在解决具体网络传播干预策略问题中的优缺点。另一方面,网络传播过程中的不确定现象也普遍存在,通过概率模型可以更精确地刻画随机因素对于传播的影响。对于概率网络传播模型,将干预目标描述为相应的概率时序逻辑属性,提出了概率情况下的网络传播干预策略问题;进一步,以离散的邮件病毒传播模型为研究对象,重点分析了安装防护,定期防护和综合防护三种防护措施,给出了相应的干预策略分析问题;并且,采用概率模型检测工具PRISM,结合近似概率模型检测方法,进行了实验分析。