计算机科学 ›› 2008, Vol. 35 ›› Issue (6): 202-205.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 分析了目前分布式协作环境下属性委托模型否定授权能力的现状，引入约束逻辑中否定推理的原理，提出一个支持否定授权的属性委托模型，并给出相应的操作语义，最后对该模型进行可靠性和完备性验证及约束域的分析。理论分析表明，提出的基于约束逻辑否定推理的属性委托模型在扩展的范围约束域上是可行的，与原有的类似模型相比具有更强的表达能力。
关键词: 约束逻辑 否定推理 属性访问控制 代理 授权
Abstract: The current state of negative authorization ability for most attribute delegation models under distributed coalition environment is analyzed. By introducing the principle of constraint logic with constructive negation, an attribute based delegation model
Key words: Constraint logic, Constructive negation, Access control,Delegation, Authorization
. 基于约束逻辑的非单调属性委托[J]. 计算机科学, 2008, 35(6): 202-205. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I6/202
Cited
首页