基于逻辑的访问控制研究

摘要：

描述了访问控制和逻辑的关系,并将访问控制授权判决问题归约成逻辑蕴涵问题;总结了基于逻辑的访问控制的基本逻辑问题,即逻辑基础、可判定性和安全性分析;分析了一些访问控制模型的基本逻辑问题,包括基于身份的访问控制模型、基于信任管理的访问控制模型和基于属性的访问控制模型;指出了结构化属性描述能力和安全性分析是基于逻辑的访问控制需要进一步研究的问题.

关键词：访问控制、逻辑、可判定性、安全性分析

所属期刊栏目：36

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

资助基金：国家高技术研究发展计划8632007AA01Z471

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

页数：共5页

页码：42-46