计算机科学与探索2011，Vol.38Issue(10)：140-144,5.
基于逻辑合一的访问控制规则描述
Access Control Rule Description Based on Logic Unify
摘要
Abstract
Traditional methods are hard to describe the subsume relationship of subjects and objects among some access control rules. In this paper, we built an algorithm based on logic unify to resolve which problem. Firstly* we converted access control request to logic question, obtained the access control result by means of logic answer. Next, we utilized the facts to describe the each component of access control,and we realized the flexible access control by using the dynamic instantiation of variables in non-ground facts during the system running period. Finally, our experiment results show that our algorithm is effective.关键词
访问控制/逻辑合一/规则描述Key words
Access control,Logic unify,Rule description分类
信息技术与安全科学引用本文复制引用
韩道军,黄泽龙,翟浩良,李磊..基于逻辑合一的访问控制规则描述[J].计算机科学与探索,2011,38(10):140-144,5.基金项目
本文受国家自然科学基金(61003140)资助. （61003140）
