基本信息:
- 专利标题： 一种计算机系统安全模型验证方法
- 申请号：CN202410882227.7 申请日：2024-07-03
- 公开(公告)号：CN118536124A 公开(公告)日：2024-08-23
- 发明人： 王延丽 , 张峰
- 申请人： 张峰
- 申请人地址： 重庆市南岸区同景路1号
- 专利权人： 张峰
- 当前专利权人： 王延丽
- 当前专利权人地址： 250200 山东省济南市章丘区明水街道办事处汇泉路1920号济南市章丘区人民医院
- 主分类号： G06F21/57
- IPC分类号： G06F21/57 ; G06F21/45 ; G06F21/55 ; H04L9/40
摘要：
本发明涉及安全模型验证技术领域，尤其涉及一种计算机系统安全模型验证方法。所述方法包括以下步骤：对计算机系统进行攻击拦截数据提取并进行攻击类型识别，得到攻击类型数据；对攻击类型数据进行攻击行为模式分析并进行攻击行为映射处理，得到攻击类型行为映射数据；根据攻击类型行为映射数据进行攻击行为态势感知并进行系统异常反馈分析，得到系统异常反馈数据；根据系统异常反馈数据进行入侵检测规则设计，得到入侵检测规则数据；对入侵检测规则数据进行计算机系统安全验证模型构建并进行系统安全风险检测并进行系统配置优化，得到系统配置优化数据。本发明通过对安全模型验证技术的优化使得验证技术更加精确。
公开/授权文献:
- CN118536124B 一种计算机系统安全模型验证方法 公开/授权日：2024-11-26
IPC结构图谱:
| G | 物理 |
| --G06 | 计算；推算；计数 |
| ----G06F | 电数字数据处理 |
| ------G06F21/00 | 防止未授权行为的保护计算机或计算机系统的安全装置 |
| --------G06F21/10 | .保护分布式程序或内容，例如版权资料的出售或许可 |
| ----------G06F21/57 | ..确保或维持可信任的计算机平台，例如安全引导或断电、版本控制、系统软件检查、安全更新或评估漏洞 |