基于逻辑的访问控制研究

• 作者: 王清贤 颜学雄
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 访问控制 逻辑 可判定性 安全性分析
• 年，卷（期）: 2009,（4）
• 页码范围: 42-46
• 页数: 5页
• 分类号: TP309
• 字数: 4899字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2009.04.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王清贤	信息工程大学信息工程学院	64	397	11.0	16.0
2	颜学雄	信息工程大学信息工程学院	14	99	6.0	9.0