| 基于逻辑程序的访问控制描述与推理 |
| |
| 引用本文： | 冯毅,王亚弟,韩继红,范钰丹. 基于逻辑程序的访问控制描述与推理[J]. 计算机工程, 2008, 34(8): 77-79 |
| |
| 作者姓名： | 冯毅 王亚弟 韩继红 范钰丹 |
| |
| 作者单位： | 解放军信息工程大学电子技术学院,郑州,450004 |
| |
| 摘 要： | 提出访问控制的逻辑描述方法，满足最小模型语义的条件(不含负逻辑)，并分析访问控制逻辑程序中不动点的迭代计算方法。通过迭代计算，得到访问控制逻辑程序的最小Herbrand模型——Mp。使用基于逻辑程序的方法对访问控制策略进行了较为精确的推理。
|
| 关 键 词： | 逻辑程序 访问控制模型 不动点 最小模型语义 |
| 文章编号： | 1000-3428(2008)08-0077-03 |
| 修稿时间： | 2007-06-25 |
Description and Reasoning of Access Control Based on Logical Program |
| |
| FENG Yi,WANG Ya-di,HAN Ji-hong,FAN Jue-dan. Description and Reasoning of Access Control Based on Logical Program[J]. Computer Engineering, 2008, 34(8): 77-79 |
| |
| Authors: | FENG Yi WANG Ya-di HAN Ji-hong FAN Jue-dan |
| |
| Affiliation: | (Institute of Electronic Technology, PLA Information Engineering University, Zhengzhou 450004) |
| |
| Abstract: | This paper presents a logical means for expressing access control, which satisfies the condition of least model semantic that has no negative, and analyzes an iterative algorithm for calculating the fixpoint of the logic program corresponding to the access control. According to the iterative algorithm, it calculates the least Herbrand model of logic program corresponding to the access control. Access control strategy is reasoned, through logical program, which makes reasoning of access control effectively. |
| |
| Keywords: | logical program access control model fixpoint least model semantic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
