基于逻辑程序的访问控制描述与推理

• 作者: 冯毅 王亚弟 范钰丹 韩继红
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 逻辑程序 访问控制模型 不动点 最小模型语义
• 年，卷（期）: 2008,（8）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 77-79
• 页数: 3页
• 分类号: TP393
• 字数: 3396字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.08.026

摘要

提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法.通过迭代计算,得到访问控制逻辑程序的最小Herbrand模型--Mp.使用基于逻辑程序的方法对访问控制策略进行了较为精确的推理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	范钰丹	解放军信息工程大学电子技术学院	12	24	2.0	4.0
4	冯毅	解放军信息工程大学电子技术学院	3	11	2.0	3.0