基于形式化方法的网络安全策略验证系统及方法

摘要

一种基于形式化方法的安全策略验证系统及方法，系统由策略验证和发布中心、终端设备和数据库服务器组成。方法为：策略验证和发布中心的信息收集模块从终端设备提取信息，漏洞检测与修复模块进行漏洞检测与修复，策略形式化模块生成安全策略，策略一致性验证模块对安全策略进行冲突检测和消除，策略完备性验证模块对安全策略进行完备性验证和修复，策略比较模块将当前终端设备上运行的安全策略与管理员期望的配置进行比较，策略配置模块将安全策略转换成终端设备能识别的命令，发给终端设备执行。本发明对网络安全策略的验证具有通用性、完整性、易用性和自动化的优点。