论文部分内容阅读
针对网络安全联动系统中安全策略结构日益复杂，数量不断增多所带来的策略冲突、效率低下、冗余等问题，文章采用形式化分析的方法对安全联动防卫策略的完备性、一致性和冗余性进行了定义及分析，提出了一种基于状态迁移的网络安全联动策略模型。该模型由实体、状态、服务三层构成，通过状态迁移过程分析实体之间的关系，并由服务层提供构造、检测等分析组件确保系统稳定运行。该模型实现了策略从生成、应用到失效的全生命周期管理。