10.3969/j.issn.1002-137X.2011.10.032
基于逻辑合—的访问控制规则描述
现有的访问控制规则描述方式不易表达一类主体、客体间具有包含关系的访问控制规则.针对此问题,提出一种基于逻辑中合一思想的算法.算法首先将访问控制请求转换为逻辑提问,同时根据逻辑回答给出相应的访问控制请求应答;然后使用事实描述访问控制规则中的各个要素,并通过在系统运行过程中对非ground事实的变量的动态例化实现灵活的访问控制.最后,通过一个实例及分析说明了算法的有效性.
访问控制、逻辑合一、规则描述
38
TP301(计算技术、计算机技术)
国家自然科学基金61003140
2012-02-21(万方平台首次上网日期,不代表论文的发表时间)
共5页
140-144