一个基于逻辑的存取控制模型

摘要：

在任何一个安全系统中,存取控制都是一个极为重要的问题.本文提出一个基于逻辑程序设计的方法来管理非集中式的授权及其代理.在这个系统中,允许用户代理管理权限、授权或禁止其他用户使用某些存取权限.给出一组独立于论域的规则来实现代理正确性、解决冲突和沿着主体、客体及存取权限层次结构的授权传递,其基本思想是将这些一般规则与用户定义的一组与论域相关的特殊规则结合起来,以推导出系统中成立的所有授权.此外,还给出一些语义性质.

关键词：逻辑规则、控制模型、授权、代理

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA4Z3450

在线出版日期：2007-12-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：152-154,172