AACF:基于逻辑的非单调授权与访问控制框架

• 作者: 包义保 方滨兴 殷丽华 郭莉
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 授权与访问控制 框架 安全策略 语义 逻辑程序
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 460-467
• 分类号: TP311
• 字数: 9546字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2012.05.003

摘要

针对不完全语义条件下的非单调授权和权限判决问题进行形式化研究,提出了一种新的基于逻辑的非单调授权与访问控制框架——AACF.该框架通过扩展型分层逻辑程序表达授权与访问控制策略,支持不完全语义条件下的非单调授权、权限传播及冲突检测与消解等高级特性,此外,AACF的语义查询/权限判决算法的计算复杂度证明是多项式级的.因而,AACF比现有的访问控制框架具有更好的表达能力和计算特性,且具有更好的实用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	殷丽华	中国科学院计算技术研究所信息智能与信息安全研究中心	17	284	7.0	16.0
2	方滨兴	中国科学院计算技术研究所信息智能与信息安全研究中心	45	1371	19.0	36.0
3	郭莉	中国科学院计算技术研究所信息智能与信息安全研究中心	64	788	14.0	26.0
4	包义保	中国科学院计算技术研究所信息智能与信息安全研究中心	11	41	4.0	6.0