基于逻辑合一的访问控制规则描述 |
| |
引用本文: | 韩道军,黄泽龙,翟浩良,李磊.基于逻辑合一的访问控制规则描述[J].计算机科学,2011,38(10):140-144. |
| |
作者姓名: | 韩道军 黄泽龙 翟浩良 李磊 |
| |
作者单位: | 1. 中山大学软件研究所 广州510275;河南大学数据与知识工程研究所 开封475004 2. 中山大学软件研究所 广州510275 |
| |
基金项目: | 国家自然科学基金(61003140)资助 |
| |
摘 要: | 现有的访问控制规则描述方式不易表达一类主体、客体间具有包含关系的访问控制规则。针对此问题,提出
一种基于逻辑中合一思想的算法。算法首先将访问控制请求转换为逻辑提问,同时根据逻辑回答给出相应的访问控
制请求应答;然后使用事实描述访问控制规则中的各个要素,并通过在系统运行过程中对非ground事实的变量的动
态例化实现灵活的访问控制。最后,通过一个实例及分析说明了算法的有效性。
|
关 键 词: | 访问控制,逻辑合一,规则描述 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|