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

分析了目前分布式协作环境下属性委托模型否定授权能力的现状，引入约束逻辑中否定推理的原理，提出一个支持否定授权的属性委托模型，并给出相应的操作语义，最后对该模型进行可靠性和完备性验证及约束域的分析。理论分析表明，提出的基于约束逻辑否定推理的属性委托模型在扩展的范围约束域上是可行的，与原有的类似模型相比具有更强的表达能力。