14、远程热部署网格服务的访问控制策略协商

远程热部署网格服务的访问控制策略协商

1. 访问控制策略语言

访问控制策略语言基于约束逻辑编程范式设计，下面介绍其基本构造。

1.1 符号表示

• 常量符号 ：将主体、资源、动作和环境的集合视为数据类型，与整数和浮点数等基本数据类型分开。使用以小写字母开头的常量符号，如 sub_1 、 res_1 、 act_1 和 env_1 分别表示这些类型的元素。
• 变量符号 ：使用 Sub 、 Res 、 Act 和 Env 形式的符号作为变量符号，分别在主体、资源、动作和环境的集合上取值。为简单起见，在本工作中未对基本数据类型的变量符号进行相应分类。将类型为 X 的常量符号和变量符号称为 “X 项”，例如 sub_1 是主体项。
• 谓词符号 ：考虑三种类型的谓词符号：
  • 原始约束谓词符号 ：约束是相应约束域上项的特殊关系。原始约束形式为 ( r(t_1, \cdots, t_n) )，其中 ( r ) 是 ( n ) 元原始约束谓词符号，( t_i ) 是项。约束是几个原始约束的合取。
  • 内置谓词符号 ：