Hits :

Patent Applicant : 浙江师范大学

First Author : 鲁剑锋

Disigner of the Invention : 鲁剑锋，韩建民，彭浩，唐长兵，闫轩，刘一丁，王正

Affilication of Author(s) : 数理与信息工程学院

Type of Patent : 发明专利

Description of the Invention : 本发明提供一种访问控制系统用户授权查询请求问题的快速求解方法，应用于访问控制领域。本发明将zchaff引入到RBAC系统中，首先通过静态裁剪缩小所需考虑的请求权限的规模，然后通过预处理削减不包含请求权限的角色的数量，最后将该问题连同RBAC系统状态及安全约束转化为合取范式，继而通过调用SAT求解器zchaff以获取高效的计算效率。本发明建立在现有RBAC系统状态下，为用户授权查询请求问题提供高效的求解效率，既保证了安全性，又有较好的可扩展性。

Application Date : 2014-12-14

Application Number : 201410768762.6

Publication Date : 2015-04-08

Issue Date : 2017-08-04

Authorization number : CN104504317B

Service Invention or Not : no