一种计算机系统安全模型验证方法

本发明涉及安全模型验证技术领域，尤其涉及一种计算机系统安全模型验证方法。所述方法包括以下步骤：对计算机系统进行攻击拦截数据提取并进行攻击类型识别，得到攻击类型数据；对攻击类型数据进行攻击行为模式分析并进行攻击行为映射处理，得到攻击类型行为映射数据；根据攻击类型行为映射数据进行攻击行为态势感知并进行系统异常反馈分析，得到系统异常反馈数据；根据系统异常反馈数据进行入侵检测规则设计，得到入侵检测规则数据；对入侵检测规则数据进行计算机系统安全验证模型构建并进行系统安全风险检测并进行系统配置优化，得到系统配置优化数据。本发明通过对安全模型验证技术的优化使得验证技术更加精确。