[发明专利]一种基于动态描述逻辑的角色访问控制方法

权利要求书

1.一种基于动态描述逻辑的角色访问控制方法，其特征是：该方法首先在原有基于角色访问控制模型的基础上，提出ERBAC模型，引入角色库的概念，并把角色形式化地分为静态角色和动态角色，然后运用ERBAC来控制访问，并用动态描述逻辑SHOIQ-DL来进行描述ERBAC模型的访问控制方法，建立SHOIQ-DL_ERBAC知识库，最后，利用动态描述逻辑一致性的判定方法，来处理角色的约束机制，实现在访问过程中对约束机制的自动处理。

2.根据权利要求1所述的一种基于动态描述逻辑的角色访问控制方法，包括ERBAC模型的用户、会话、任务、任务实例、任务流、权限，其特征是：还包括：角色库、静态角色、动态角色、激活的角色、会话、会话列表概念；其中：

角色库是权限分派给角色的集合，其中角色关系包括角色包含，角色传递，角色互斥；

静态角色是系统静态的分配给用户的角色，动态角色是在任务实例到来时通过任务流驱动，动态分配给用户的角色；

会话列表用于存储系统分配的静态角色和任务流驱动的动态角色。

3.根据权利要求1所述的一种基于动态描述逻辑的角色访问控制方法，其特征是：所述的知识库中由一般概念包含公理组成的任一有限集合T称为TBox，由个体断言组成的任一有限集合A称为一个ABox，由断言和公理组成的任一有限集合R称为一个RBox。

4.根据权利要求1所述的一种基于动态描述逻辑的角色访问控制方法，其特征是：所述自动处理的约束机制包括角色静态互斥约束、角色动态互斥约束、角色基数约束、角色前提约束。