10.3969/j.issn.1000-3428.2008.08.026
基于逻辑程序的访问控制描述与推理
提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法.通过迭代计算,得到访问控制逻辑程序的最小Herbrand模型--Mp.使用基于逻辑程序的方法对访问控制策略进行了较为精确的推理.
逻辑程序、访问控制模型、不动点、最小模型语义
34
TP393(计算技术、计算机技术)
2008-06-23(万方平台首次上网日期,不代表论文的发表时间)
共3页
77-79