本文首先对恐怖主义预防问题的背景进行了分析，为模型的建立做好基础工作，然后对相关模型的理论问题进行了综述。并以此提出了最小费用可靠网络阻断模型、有限资源下最大可靠性网络阻断模型、随机网络流阻断模型以及网络流扩张模型。最小费用可靠网络阻断模型将可靠性思想引入网络流阻断模型中，在一定可靠性要求的前提下，最小化设置监测点所需花费的总费用；有限资源下最大可靠性网络阻断模型与最小费用可靠网络阻断模型的区别在于后者是给定可靠性要求下最小化设置监测点的总费用，此模型是在给定费用（或者预算）前提下最大化可靠性；随机网络流阻断模型是在入侵者以一定概率通过已设置监测点的边的情况下提出的，通过最小化恐怖分子能够入侵到目的地的最大概率来达到将恐怖分子以最大可能拒之于受保护地区之外的目的；网络流扩张模型考虑在恐怖袭击发生后如何疏通网络即扩大网络中部分边的流量从而将大量受害者尽可能多的运往安全地区。针对上述模型分别给出了模型转化方法以及案例分析，对解决双层整数规划问题有一定理论贡献。