计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2013年
5期
1367-1370,1390
,共5页
基于角色的访问控制%部分最大可满足性问题%用户授权查询问题%严格子句%松弛子句
基于角色的訪問控製%部分最大可滿足性問題%用戶授權查詢問題%嚴格子句%鬆弛子句
기우각색적방문공제%부분최대가만족성문제%용호수권사순문제%엄격자구%송이자구
为保证系统的安全性并体现授权的有效性,结合部分最大可满足性问题(Partial MAX-SAT)的研究,提出一种基于Partial MAX-SAT求解法的授权查询方法.使用转换规则将静态授权逻辑和动态互斥角色约束转化为严格子句,采用子句更新算法将满足不同匹配的请求权限转化为松弛子句,并利用子句编码及递归算法寻求真值指派,以满足所有严格子句和尽可能多的松弛子句.实验结果表明,该方法搜索的角色组合能够保证系统的安全性,并满足最小权限分配要求,且最大、精确匹配请求的查询效率优于MAX-SAT求解法.
為保證繫統的安全性併體現授權的有效性,結閤部分最大可滿足性問題(Partial MAX-SAT)的研究,提齣一種基于Partial MAX-SAT求解法的授權查詢方法.使用轉換規則將靜態授權邏輯和動態互斥角色約束轉化為嚴格子句,採用子句更新算法將滿足不同匹配的請求權限轉化為鬆弛子句,併利用子句編碼及遞歸算法尋求真值指派,以滿足所有嚴格子句和儘可能多的鬆弛子句.實驗結果錶明,該方法搜索的角色組閤能夠保證繫統的安全性,併滿足最小權限分配要求,且最大、精確匹配請求的查詢效率優于MAX-SAT求解法.
위보증계통적안전성병체현수권적유효성,결합부분최대가만족성문제(Partial MAX-SAT)적연구,제출일충기우Partial MAX-SAT구해법적수권사순방법.사용전환규칙장정태수권라집화동태호척각색약속전화위엄격자구,채용자구경신산법장만족불동필배적청구권한전화위송이자구,병이용자구편마급체귀산법심구진치지파,이만족소유엄격자구화진가능다적송이자구.실험결과표명,해방법수색적각색조합능구보증계통적안전성,병만족최소권한분배요구,차최대、정학필배청구적사순효솔우우MAX-SAT구해법.
