安全配置策略自动生成与验证技术研究

摘要

针对网络信息系统安全设备体系需要快速响应、统一配置管理的需求,开展安全配置策略自动生成与验证技术研究,突破安全配置策略形式化描述、安全配置意图与策略映射模型构建及验证、安全配置策略自动转译、安全配置策略冲突检测及优化等关键技术,实现将网络安全配置意图准确快速转化为信息系统安全设备可识别执行的网络安全策略,提升大规模网络信息系统基础安全设施策略智能计算生成能力.