以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.