15、分布式信息系统中信任的分析与建模

分布式信息系统中信任的分析与建模

1. 信任关系的定义

信任关系的正式定义采用四元组 ( T =< R, E, C, P > ) 来表示：
- ( R )：信任者集合，包含所有参与的信任者，为非空集合。
- ( E )：被信任者集合，包含所有参与的被信任者，为非空集合。
- ( C )：条件集合，包含当前信任关系的所有条件（要求）。若没有条件，条件集合为空。
- ( P )：属性集合，描述被信任者的行为或属性，为非空集合，可分为两个子集：
- 动作集合：信任者相信被信任者会且能够执行的动作集合。
- 属性集合：信任者相信被信任者拥有的属性集合。

这个正式定义能反映常用的信任概念，并提供了一个分类框架。使用信任关系时，必须遵循完整的语法（四元组 ( < R, E, C, P > ) ）。信任关系 ( T ) 意味着在条件集合 ( C ) 下，信任者集合 ( R ) 相信被信任者集合 ( E ) 拥有集合 ( P ) 中的属性。

2. 信任关系的关系

2.1 操作定义

基于现有的信任关系，可以通过特定约束条件来生成新的信任关系，或者将一个信任关系分解为两个新的信任关系，具体操作如下：
|操作|定义|
| ---- | ---- |
|操作 1|设 ( T1 = (R1, E1, C1, P1) ) 和 ( T2 = (R2, E2, C2, P2) )，有集合 ( T = (R1 ∩R2, E1 ∩E2, C1 ∪C2, P1 ∪P2) )。若 ( R1 ∩R2 = ∅ ) 或 ( E1 ∩E2 = ∅ )，则 ( T =