13、隐私政策的可追溯性与自动合规性

隐私政策的可追溯性与自动合规性

1. FSP服务请求算法

当FSP1处理FSP2的请求时，会执行以下算法：

Algorithm 1. FSP1 services FSP2’s request
Require: Request
1: Attr ⇐Request.Attribute
2: userID ⇐Request.userID
3: Policy ⇐Request.getPolicyOf(Attr)
4: myPolicy ⇐this.userID.getPolicyOf(Attr)
5: if Attr /∈this.userID.AttrList then
6:
    this.log.Add(Request, notFound, time)
7:
    return notFound
8: end if
9: if isMoreStrict(Policy, myPolicy) then
10:
    this.log.Add(Request, tooStrict, time)
11:
    return notFound
12: end if
13: this.log.Add(Request, released,time)
14: return this.userID.getAttribute(Attr)

该算法的步骤如下：
1. 从请求中提取属性和用户ID。
2. 获取请求的属性策略和自身的属性策略。
3. 检查属性是否在自身的属性列表中，如果不在则记录日志并返回未找到。
4. 比较两个策略的严格程度，如果请求的策略更严格，则记录日志并返回未找