@article{李艳灵_1367, author = {[李艳灵, 鲁骏, 孙伟]}, title = {基于Partial MAX-SAT求解法的RBAC授权查询方法}, publisher = {《计算机应用》唯一官方网站}, year = {2013}, journal = {计算机应用}, volume = {33}, number = {05}, eid = {1367}, pages = {1367-1390}, keywords = {

基于角色的访问控制;部分最大可满足性问题;用户授权查询问题;严格子句;松弛子句

}, doi = http://www.joca.cn/CN/10.3724/SP.J.1087.2013.01367 }