基于状态机模型的网络安全策略验证方法研究

摘要：

为保证特定安全域的各类安全设备在基于策略的管理体系中协同工作,避免策略执行时的矛盾与冲突,研究了安全策略的验证方法.按照子网划分安全域,并基于状态机模型描述安全域中设备状态在安全事件触发条件下的变迁形式,定义了安全策略.针对安全策略知识库的构建及其正确性、完整性、一致性、冗余性和可执行性的验证问题,提出了基于状态有向图深度优先遍历的策略验证方法.算法的复杂度分析和实验结果表明了策略验证方法具有理想的执行效率.

关键词：状态机、网络安全、策略管理、安全策略、协同联动、策略验证

所属期刊栏目：35

分类号：TP393.08(计算技术、计算机技术)

在线出版日期：2014-03-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：37-41,46