基于Partial MAX-SAT求解法的RBAC授权查询方法
孙伟 李艳灵 鲁骏
Authorization query method for RBAC based on partial MAX-SAT solver
SUN Wei LI Yanling LU Jun
计算机应用 . 2013, (05): 1367 -1390 .  DOI: 10.3724/SP.J.1087.2013.01367