[发明专利]一种基于访问控制权限的ASP知识库增量式验证方法

摘要

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

主权项

一种基于访问控制权限的ASP知识库增量式验证方法，所述ASP知识库为P，其具有性质f和f1，f为已验证性质，f1为待验证性质，f2是f1中的未验证性质；本方法包括以下三个步骤：步骤1、构造基于访问控制权限的ASP知识库模型向ASP知识库中的规则加入访问控制权限，实现对ASP知识库的构建；步骤2、排除知识库P中不成立的待验证性质f1根据权限依赖关系获得f的性质规则权限集M和f1中未验证性质f2的性质规则权限集N，判断集合M与N的关系，排除f1不成立的情况；步骤3、利用已验证性质f中的信息简化验证待验证性质f2在f1无法排除不成立的情况下，通过对f2的验证来判定f1是否成立，若f2成立，则f1成立；反之则f1不成立。