基于约束逻辑的非单调属性委托  

Non-monotone Attribute Delegation Based on Constraint Logic

作　　者：陈波[1] 曾国荪[2] 李莉[1] 

机构地区：[1]同济大学计算机科学及工程系,上海201804 [2]国家高性能计算机工程技术中心同济分中心,上海201804

出　　处：《计算机科学》2008年第6期202-205,共4页Computer Science

基　　金：863项目(2007AA01Z425);973计划前期研究专项(2007CB316502);国家自然基金项目(60673157)资助

摘　　要：分析了目前分布式协作环境下属性委托模型否定授权能力的现状,引入约束逻辑中否定推理的原理,提出一个支持否定授权的属性委托模型,并给出相应的操作语义,最后对该模型进行可靠性和完备性验证及约束域的分析。理论分析表明,提出的基于约束逻辑否定推理的属性委托模型在扩展的范围约束域上是可行的,与原有的类似模型相比具有更强的表达能力。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 with negation is proposed. The corresponding operation semantics is given. The soundness and completeness of the model are verified and its suitable constraint domain is analyzed. The result of theoretical analysis indicates that the proposed model has more expressive ability than other similar models and is tractable on extended range constraint domain.

关 键 词：约束逻辑 否定推理 属性访问控制 代理 授权 

分 类 号：TP391.72[自动化与计算机技术—计算机应用技术] N02[自动化与计算机技术—计算机科学与技术]