%0 Journal Article
%T 基于逻辑合一的访问控制规则描述
%A 韩道军
%A 黄泽龙
%A 翟浩良
%A 李磊？
%J 计算机科学
%D 2011
%X 现有的访问控制规则描述方式不易表达一类主体、客体间具有包含关系的访问控制规则。针对此问题，提出一种基于逻辑中合一思想的算法。算法首先将访问控制请求转换为逻辑提问，同时根据逻辑回答给出相应的访问控制请求应答;然后使用事实描述访问控制规则中的各个要素，并通过在系统运行过程中对非ground事实的变量的动态例化实现灵活的访问控制。最后，通过一个实例及分析说明了算法的有效性。
%K 访问控制
%K 逻辑合一
%K 规则描述
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=111032&flag=1