基于Partial MAX-SAT求解法的RBAC授权查询方法

作者：孙伟; 李艳灵; 鲁骏

来源：计算机应用, 2013, (05): 1367-1370+1390.

• 基于角色的访问控制
• 部分最大可满足性问题
• 用户授权查询问题
• 严格子句
• 松弛子句 Role-Based Access Control(RBAC)
• Partial Maximal Satisfiability problem(Partial MAX-SAT)
• User Authorization Query(UAQ) problem
• hard clause
• soft clause

为保证系统的安全性并体现授权的有效性,结合部分最大可满足性问题(Partial MAX-SAT)的研究,提出一种基于Partial MAX-SAT求解法的授权查询方法。使用转换规则将静态授权逻辑和动态互斥角色约束转化为严格子句,采用子句更新算法将满足不同匹配的请求权限转化为松弛子句,并利用子句编码及递归算法寻求真值指派,以满足所有严格子句和尽可能多的松弛子句。实验结果表明,该方法搜索的角色组合能够保证系统的安全性,并满足最小权限分配要求,且最大、精确匹配请求的查询效率优于MAX-SAT求解法。

• 单位
  信阳师范学院