46、脸书式社交网络系统的隐私保护模型

脸书式社交网络系统的隐私保护模型

1. 状态转换与相关定义

状态转换关系 $S \xrightarrow{t} N S’$ 规定了从状态 $S$ 到状态 $S’$ 由 $t$ 标识的转换何时可以发生。规则 T - HIS 规定了通信事件的影响，它确保访问者 $v$ 只有在满足以下三个条件时才能与用户 $u$ 通信：
- $v$ 能够到达 $u$；
- 通信事件遵循系统的通信协议；
- $v$ 发起的特定通信原语得到 $u$ 的通信策略允许。

若这三个前提条件都满足，那么这两个用户的通信状态将根据系统的通信协议发生改变。规则 (T - POL) 规定了策略的更改，该规则确保发起用户为给定资源选择的策略谓词属于该资源对应的策略空间。当 $S$ 可以通过由 $w$ 标识的一系列转换过渡到 $S’$ 时，我们记为 $S \xrightarrow{w} N S’$，其中 $w \in (T_N)^*$。

以下是相关定义的总结表格：
| 定义 | 描述 |
| — | — |
| 转换标识符集合 $T_N$ | $T_N \ni t ::= com(v, u, a)$（$u, v \in Sub, a \in \Sigma$）或 $pol(u, r, P)$（$u \in Sub, r \in R_N, P \in P S_r$） |
| 状态转换关系 $S \xrightarrow{t} N S’$ | 规定从状态 $S$ 到状态 $S’$ 由 $t$ 标识的转换何时可发生 |
| 规则 T - HIS | 规定通信事件的影响，确保访问者 $v$ 与用户 $u$ 通信的条件 |
| 规则 (T - POL)