计算机科学 ›› 2009, Vol. 36 ›› Issue (4): 42-46.
• • 上一篇 下一篇
颜学雄 王清贤
出版日期:
发布日期:
基金资助:
YAN Xue-xiong, WANG Qing-xian （Institute of Information Engineering, Information Engineering University, Zhengzhou 450002, China）
Online:
Published:
摘要： 描述了访问控制和逻辑的关系，并将访问控制授权判决问题归约成逻辑蕴涵问题；总结了基于逻辑的访问控制的基本逻辑问题，即逻辑基础、可判定性和安全性分析；分析了一些访问控制模型的基本逻辑问题，包括基于身份的访问控制模型、基于信任管理的访问控制模型和基于属性的访问控制模型；指出了结构化属性描述能力和安全性分析是基于逻辑的访问控制需要进一步研究的问题。
关键词: 访问控制 逻辑 可判定性 安全性分析
Abstract: This paper addressesd the relation between access control and logic, reduced authorization decision to logic containment, and studied the basic logical issues of access control, namely logical foundation, decidability and security analysis. Then, the pape
Key words: Access control,Logic,Decidability,Security analysis
颜学雄 王清贤. 基于逻辑的访问控制研究[J]. 计算机科学, 2009, 36(4): 42-46. https://doi.org/
YAN Xue-xiong, WANG Qing-xian （Institute of Information Engineering, Information Engineering University, Zhengzhou 450002, China）. [J]. Computer Science, 2009, 36(4): 42-46. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I4/42
Cited
首页