期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
AACF：基于逻辑的非单调授权与访问控制框架
1
作者
包义保
殷丽华
+1 位作者
方滨兴
郭莉
《高技术通讯》
CAS
CSCD
北大核心
2012年第5期460-467,共8页
针对不完全语义条件下的非单调授权和权限判决问题进行形式化研究，提出了一种新的基于逻辑的非单调授权与访问控制框架——AACF。该框架通过扩展型分层逻辑程序表达授权与访问控制策略，支持不完全语义条件下的非单调授权、权限传播及...
针对不完全语义条件下的非单调授权和权限判决问题进行形式化研究，提出了一种新的基于逻辑的非单调授权与访问控制框架——AACF。该框架通过扩展型分层逻辑程序表达授权与访问控制策略，支持不完全语义条件下的非单调授权、权限传播及冲突检测与消解等高级特性，此外，AACF的语义查询／权限判决算法的计算复杂度证明是多项式级的。因而，AACF比现有的访问控制框架具有更好的表达能力和计算特性，且具有更好的实用性。
展开更多
关键词
授权与访问控制
框架
安全策略
语义
逻辑程序
在线阅读
下载PDF
职称材料
题名
AACF：基于逻辑的非单调授权与访问控制框架
1
作者
包义保
殷丽华
方滨兴
郭莉
机构
中国科
学院
计算
技术
研究所
信息
智能与
信息
安全
研究中心
解放军信息工程大学电子技术学院信息安全技术系
出处
《高技术通讯》
CAS
CSCD
北大核心
2012年第5期460-467,共8页
基金
863计划12009AA01243i,12009AA0124311,973计划（2007cb311100）和国家自然科学基金（60703021）资助项目.
文摘
针对不完全语义条件下的非单调授权和权限判决问题进行形式化研究，提出了一种新的基于逻辑的非单调授权与访问控制框架——AACF。该框架通过扩展型分层逻辑程序表达授权与访问控制策略，支持不完全语义条件下的非单调授权、权限传播及冲突检测与消解等高级特性，此外，AACF的语义查询／权限判决算法的计算复杂度证明是多项式级的。因而，AACF比现有的访问控制框架具有更好的表达能力和计算特性，且具有更好的实用性。
关键词
授权与访问控制
框架
安全策略
语义
逻辑程序
Keywords
authorization and access control, framework, security policy, semantic, logic program
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
AACF：基于逻辑的非单调授权与访问控制框架
包义保
殷丽华
方滨兴
郭莉
《高技术通讯》
CAS
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
