摘要
以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.
出处
《计算机应用研究》
CSCD
北大核心
2012年第1期290-293,共4页
Application Research of Computers
基金
国家"863"计划资助项目(2006AA01Z147)
江苏省高技术研究资助项目(BG2005020)
关键词
自动信任协商
访问控制
授权
策略
automated trust negotiation
access control
authorization
strategy