论文部分内容阅读
容侵技术是力图大型网络服务器在受到攻击后，能继续提供服务(或提供降级服务)的一项网络安全技术。本文介绍了基于状态转换的容侵系统模型，同时根据现在网络攻击的类型，构造出了攻击者的有限状态转换模型。通过容侵系统模型与攻击者模型的相互作用，使用SMV来对容侵系统进行分析。分析结果表明，容侵系统模型并不适用于所有的网络攻击。在此论文中对容侵系统模型进行了改进，同时对改进后的模型进行了SMV分析，最后对此模型的每一个改进都给出了相应的实例。