智能生成强制访问控制策略以及检查策略的方法及系统

摘要

本发明提供一种智能生成强制访问控制策略以及检查策略的方法及系统，通过基于阻塞攻击路径智能生成强制访问控制策略，对系统存在的漏洞进行分析，将漏洞对应的攻击路径作为输入，并输出阻塞攻击路径的强制访问控制策略；和/或通过基于安全模型检查手工编写策略安全性，将手工编写策略输入系统，根据安全模型对策略进行分析，输出违反了安全模型的策略，提高强制访问控制策略的编写效率和有效性，通过智能地生成可对系统进行有效防护的强制访问控制策略，避免开发人员由于知识、经验不足编写出违法访问控制原则的策略。