点击次数：

发布时间：2018-12-21

申请专利人：浙江师范大学

第一作者：鲁剑锋

发明设计人：鲁剑锋，韩建民，彭浩，唐长兵，闫轩，刘一丁，王正

所属单位：数理与信息工程学院

专利类型：发明专利

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

申请日期：2014-12-14

申请号：201410768762.6

公开日期：2015-04-08

授权日期：2017-08-04

授权号：CN104504317B

是否职务专利：否