[00044018]一种基于访问控制权限的ASP知识库增量式验证方法
技术详细介绍
本发明为一种基于访问控制权限的ASP知识库增量式验证方法，ASP知识库P性质f为已验证性质，f1为待验证性质，f2是f1中的未验证性质。本法首先向ASP知识库中的规则加入访问控制权限，构造基于访问控制权限的ASP知识库模型；再根据权限依赖关系获得f的性质规则权限集M和f2的性质规则权限集N，判断M与N的关系，排除f1不成立的情况。最后利用f中的信息简化验证f2。本方法通过设置访问控制权限避免对已验证性质的重新验证，仅需对部分ASP知识库P进行增量式性质验证，有效地提高了性质验证效率；可以一次性验证多条性质，避免多次运行验证工具造成的大量上下文切换的开销。
