首页 | 本学科首页   官方微博 | 高级检索  
     

基于逻辑的访问控制研究
引用本文:颜学雄,王清贤.基于逻辑的访问控制研究[J].计算机科学,2009,36(4):42-46.
作者姓名:颜学雄  王清贤
作者单位:信息工程大学信息工程学院,郑州,450002
基金项目:国家高技术研究发展计划(863计划) 
摘    要:描述了访问控制和逻辑的关系,并将访问控制授权判决问题归约成逻辑蕴涵问题;总结了基于逻辑的访问控制的基本逻辑问题,即逻辑基础、可判定性和安全性分析;分析了一些访问控制模型的基本逻辑问题,包括基于身份的访问控制模型、基于信任管理的访问控制模型和基于属性的访问控制模型;指出了结构化属性描述能力和安全性分析是基于逻辑的访问控制需要进一步研究的问题.

关 键 词:访问控制  逻辑  可判定性  安全性分析
收稿时间:2008/5/30 0:00:00

Research of Logic-based Access Control
YAN Xue-xiong,WANG Qing-xian.Research of Logic-based Access Control[J].Computer Science,2009,36(4):42-46.
Authors:YAN Xue-xiong  WANG Qing-xian
Affiliation:Institute of Information Engineering;Information Engineering University;Zhengzhou 450002;China
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 paper researched the basic issues of some access control models,which include identity based,trust management based and attribute based access control model.Lastly,the paper discussed the research direction of the logic-based access control,which includes structure a...
Keywords:Access control  Logic  Decidability  Security analysis  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号