23、隐私政策分析以增强知情同意

隐私政策分析以增强知情同意

1. 系统事件

在抽象执行模型中，我们关注确保数据项交换符合数据主体（DS）和数据收集者（DC）的Pilot策略的事件。事件集合E由以下事件组成：
- 请求（request） ： request(sndr, rcv, t, p) 用于模拟DC向DS或其他DC请求数据。其中， sndr 始终是DC设备， rcv 可以是DC或DS设备。请求包含请求的数据类型 t 和Pilot策略 p ，且 p 需与请求的数据类型相关。执行该请求后， (rcv, p) 会被添加到 πrcv 中，使 rcv 了解 sndr 使用请求数据的条件。
- 发送（send） ： send(sndr, rcv, i) 表示DC（ rcv ）从DS（ sndr ）收集数据项 i 。执行此操作时， sndr 需检查 πsndr 中包含：由 sndr 定义的活动策略 psndr ，表明 sndr 允许DC使用其数据的方式；以及由 rcv 发送的活动