一种有效的信任协商多方安全计算模型

摘要

以DataLog逻辑描述语言的Herbrand模型为基础定义策略语言,实现访问控制与授权控制逻辑,提出了积极协商策略,以解决信任协商中的多方协商问题.%This paper introduced the theory of Herbrand model for Datalog which could be applied to trust negotiation. It defined a Datalog-based policy language, authorization and released control logic and negotiation protocol.