PrivacyPeek:审计 LLM 智能体究竟获取了什么,而非它说了什么 PrivacyPeek: Auditing What LLM-Based Agents Acquire, Not Just What They Say
首个聚焦 LLM 智能体获取阶段隐私泄露的基准,含 1182 个用例
前置知识
LLM-based Agent(基于大语言模型的智能体)
通过 ReAct、工具调用等机制自主完成多步骤任务的 LLM 系统。每一步智能体选择工具及其参数,把工具返回的观测写入上下文,再决定是否需要下一步调用。本文使用 HuggingFace Smolagents 框架的 CodeAgent,把动作表达为 Python 代码,每个用例最多执行 6 步,全程通过固定的 8 个工具访问数据。
本文所有评测都基于智能体的工具调用轨迹(trajectory),理解智能体如何在每一步选择工具、决定 fields 参数,才能理解为什么会出现过度获取以及为什么分析单位是工具调用而非最终回复。
Contextual Integrity(情境完整性)
Nissenbaum 提出的隐私理论,认为隐私是否被侵犯取决于信息流动是否契合当前情境下的传输规范(transmission principle),即“谁、什么信息、给谁、在什么情境下”。它超越了“敏感/非敏感”的二元划分,把隐私视为情境相关的规范问题。
论文明确把 acquisition-stage privacy 立足于 GDPR 数据最小化原则和情境完整性的传输原则,理解这一框架才能理解为什么 minimum scope $E_c$ 由作者预先审阅、用 contract test 验证窄请求可完成任务。
Acquisition Stage(获取阶段)vs Disclosure Stage(披露阶段)
现有评测大多关注“披露阶段”——智能体的回复或对外动作是否泄露敏感信息。本文提出关注更前置的“获取阶段”——智能体通过工具调用首次把数据写入上下文的过程。即便数据未在回复中泄露,被获取的敏感信息也已“一次粗心动作或一次攻击”就面临泄露风险。
这是本文最核心的概念创新,整个 benchmark 设计都围绕“审计智能体获取了什么”而非“披露了什么”展开,是理解 CER 与 OLR/PLR 区分的前提。
CER / PLR / OLR 指标族
CER(Content Exposure Rate)通过规则匹配工具观测 $o_t$ 是否包含超出最小范围 $E_c$ 的项 $s \in K^{acq}_c$,定义为 $CER_c = \mathbb{1}[\exists t<n, s \in K^{acq}_c \text{ s.t. } s \sqsubseteq o_t]$,$CER = \frac{1}{N}\sum_c CER_c$。PLR(Probe Leakage Rate)通过 GPT-4o 固定判官判定 post-task 探针答案是否披露 $K^{disc}_c$ 中的目标,$PLR_c = \mathbb{1}[J(r_c, K^{disc}_c) = 1]$。OLR 是同一判官作用于主回复 $a_n$。条件化版本 HCER/HPLR 通过 $HCER = \frac{\sum_c CER_c \cdot TCR_c}{\sum_c TCR_c}$ 排除“靠拒绝换低泄露”。
CER 衡量“获取”、PLR 衡量“留存上下文支持披露”——两个互补视角是整套评测的支柱,不掌握这套指标无法读懂主结果表。
TCR(Task Completion Rate)与能力-隐私悖论
每个用例的任务完成指标 $TCR_c = \mathbb{1}[a_n \text{ 满足 } q_c]$,即最终回复是否满足用户指令 $q_c$。它本身不是隐私指标,但论文发现 TCR 与 CER 强正相关(Spearman $\rho = 0.818, p < 0.01$)、与 PLR 正相关($\rho = 0.685, p \approx 0.029$),即越能干的智能体越容易过度获取和泄露,称为 capability-privacy paradox。
TCR 是理解所有隐私数字的前提——任何跨智能体的隐私比较都必须在可比任务完成度下进行,否则会被“靠拒绝换低泄露”的退化策略误导。
研究动机
现有隐私评测几乎都盯着智能体的“出口”。ConfAIde 直接问模型“分享某信息是否合适”,AgentDAM 检查 web 智能体是否把个人数据转发到 sink 工具,AgentLeak 把这类审计扩展到多智能体内部通道,AgentSCOPE 用情境完整性参数标注信息流。但这些都只审计“披露阶段”——敏感信息是否通过回复或对外动作离开智能体。然而更前置的“获取阶段”几乎无人审计:智能体在工具调用过程中首先把多少敏感信息写入上下文。论文用 Fig.1 的医院场景说明——一个只需空腹血糖的任务,智能体不仅读了 vitals.doc,还顺手打开 personal_info.doc,把身份证号、家庭住址、出生日期一起拉进上下文。这些信息一旦进入上下文,就会“一次粗心动作或一次攻击”就变成显性泄露(被 prompt injection 引出、被攻击者窃取、被后续推理偏差放大)。在医疗、金融、法律等高风险领域大规模部署 LLM 智能体的当下,这种“获取即风险”的盲区尤其危险。
本文的目标是本文目标是填补“获取阶段”评测的空白,提出 PrivacyPeek benchmark:从工具调用轨迹(trajectory)这一最小分析单位出发,审计智能体在执行任务过程中是否获取了超出任务最小范围 $E_c$ 的敏感信息。具体目标包括四点:(1) 把“过度获取”形式化为可测量的 acquisition behaviour 分类,覆盖 7 类违规模式;(2) 设计两套互补的评测——基于规则的 Acquisition Inspection 审计“获取”,基于 LLM 判官的 Probe Elicitation 审计“留存上下文的可披露性”;(3) 跨 16 个应用域、1182 个用例、10 个主流智能体(覆盖 GPT/Claude/Llama/Qwen 四个家族),量化获取阶段隐私泄露的普遍程度;(4) 验证 prompt 级别防御和保密标记的实际效果,为外部策略层防护提供实证依据。
与已有工作不同的是,本文独特切入角度在于把审计焦点从“出口”前移到“入口”。已有工作要么直接问模型偏好(ConfAIde 这类 probe 不能预测真实执行行为),要么审计对外动作(AgentDAM/AgentLeak 无法发现尚未泄露但已被获取的敏感信息),要么静态分析工具注册(AgentRaft 不反映具体任务下的动态选择)。PrivacyPeek 把分析单位设为“工具调用”而非“最终回复”,并提出最小范围 $E_c$ 由人事先审阅、用 contract test 保证窄请求足以完成任务且不返回越界项,从而把“是否应该获取”做成可量化、可比较的指标。同时通过 CER/PLR 双轨指标和三类联合结果(CER-positive probe、CER-negative probe、no observed disclosure),把“获取”和“披露”在数学上解耦——$PLR = P(CER_c=1, PLR_c=1) + P(CER_c=0, PLR_c=1)$,避免了仅看回复造成的盲区。
核心方法
整体直觉是:一个隐私良好的智能体应遵循“数据最小化”——只获取完成任务所需的最低限度数据。PrivacyPeek 把每个用例形式化为元组 $c = \langle q_c; T_c; F_c; E_c; K^{acq}_c; K^{disc}_c; p_c \rangle$,分别表示用户指令、工具面、数据底座、人事先审阅的任务最小范围、可匹配的越界项集合、可判定的披露目标集合、隐私探针。技术路线分三步:(1) 人工写模板+领域种子,GPT-4o 扩展成具体指令和合成记录,再用 10 个确定性质量门过滤;(2) 用 Smolagents CodeAgent 跑智能体轨迹(最多 6 步),同一套 8 个工具贯穿 1182 个用例;(3) Acquisition Inspection 规则匹配工具观测得 CER,Probe Elicitation 在任务完成后禁用工具和网络,对留存上下文发探针并用 GPT-4o 固定判官判定得 PLR。所有用例都在 benign setting 下运行(无恶意用户、无 prompt injection、无被 compromise 的工具)。
核心创新有三点。第一,把分析单位设为“工具调用”而非“最终回复”——即便数据没出现在回复里,只要它在工具观测 $o_t$ 中就算违规($s \sqsubseteq o_t$)。第二,提出 minimum scope $E_c$ 由作者预先审阅,对每个候选项都问“删除它会不会导致任务无法完成”,并用 contract test 验证窄请求(如 fields="glucose,hba1c")足以完成任务且不返回越界项——这把“是否应该获取”客观化。第三,CER/PLR 解耦设计:CER 只看工具观测,PLR 是 post-task 探针披露,两者通过三类联合结果($P(CER=1,PLR=1)$ 与 $P(CER=0,PLR=1)$)相加构成总 PLR,从而把“获取但未披露”(self-restraint)和“未检测到获取却披露”(inference-mediated)区分开来。条件化指标 HCER/HPLR 进一步排除靠拒绝换低泄露的退化策略,使跨智能体比较在可比效用下进行。
方法步骤详情
方法步骤完整描述如下。**步骤 1·用例生成**:作者针对 7 类 acquisition behaviour(Normal-Filename Access、Sensitive-Filename Access、Cross-Format Access、Out-Dated Data Access、Excess-Field Access、Forbidden-Content Access、Out-of-Scope Inferential Access)写模板和领域种子,定义 $q_c$、$E_c$、$K^{acq}_c$、$K^{disc}_c$ 及获取目标与披露目标的对应关系;GPT-4o 只负责扩展结构(指令、system prompt、合成记录),不参与范围决策。**步骤 2·质量门**:每个用例必须通过 10 个确定性检查(schema 完整、单一 acquisition behaviour、allowed/forbidden 集不相交、存在可执行的安全路径、敏感项明确等),作者人工复审并剔除诱导性/欺骗性线索。最终得到 1182 个用例(Task1: 217、Task2: 158、Task3: 145、Task4: 138、Task5: 218、Task6: 163、Task7: 143)。**步骤 3·智能体执行**:用 Smolagents CodeAgent,每个用例最多 6 步,智能体只能通过 8 个固定工具(query_database、read_document、search_records、list_files、get_file_properties、write_note、send_message、export_report)访问数据,文件系统限制在这些工具内防止 Python 自绕过。**步骤 4·Acquisition Inspection**:对每个观测 $o_t$($t<n$)规则匹配 $K^{acq}_c$ 中的项或其固定标识符是否出现,输出 $CER_c$。**步骤 5·Probe Elicitation**:任务完成后禁用工具和网络,发 case-specific 探针 $p_c$,用 GPT-4o 固定判官(固定 prompt、固定日期版本)判定回复 $r_c$ 是否披露 $K^{disc}_c$ 的目标,输出 $PLR_c$;同一判官作用于主回复 $a_n$ 得 $OLR_c$。
技术新颖性
技术新颖性体现在五个方面。**(1) 焦点前移**:从披露阶段转到获取阶段,首次把“获取即泄露”作为评测对象。**(2) 七维行为分类**:把“过度获取”细分为属性层(文件名/格式/时间窗)和内容层(多余字段/禁读标记/推理证据)共 7 类,每类配 worked example,覆盖现实部署中常见的越界模式。**(3) 最小范围客观化**:通过 contract test 保证窄请求(如 fields="glucose,hba1c")任务可完成且不返回越界项,使“是否应该获取”不再依赖主观判断——这一点是已有 agent 隐私 benchmark 都没做到的。**(4) CER/PLR 数学解耦**:$PLR = P(CER=1,PLR=1) + P(CER=0,PLR=1)$,把“获取后披露”与“未检测获取却披露”分离,对应 trajectory-mediated 和 inference-mediated 两种泄露机制。**(5) 条件化指标 HCER/HPLR**:通过 $HCER = \frac{\sum_c CER_c \cdot TCR_c}{\sum_c TCR_c}$ 排除“靠拒绝换低泄露”的退化策略,使跨智能体比较在可比效用下进行。这套组合在已有 agent privacy benchmark 中是首次出现。
实验结果
**发现一·过度获取普遍存在**:10 个智能体的 CER 从 Llama-3.2-3B 的 6.77% 到 Claude-Sonnet-4 的 51.95%,PLR 从 16.67% 到 57.53%,PLR 普遍高于 CER。条件化于任务完成后 CER 全面上升(如 GPT-4.1 从 27.75% 升到 30.81%),说明无条件率会被拒绝行为掩盖。**发现二·能力-隐私悖论**:TCR 与 CER 强正相关(Spearman $\rho = 0.818, p < 0.01$)、与 PLR 正相关($\rho = 0.685, p \approx 0.029$)。能力最弱的 Llama-3.2-3B 同时最不泄露(TCR 54.48%、CER 6.77%),能力最强的 Claude-Sonnet-4 同时最泄露(TCR 86.46%、CER 51.95%)。但 GPT-5.1 是探针通道的例外:TCR 第二高(85.70%)但 PLR 仅 25.38%,比 Claude-Sonnet-4 低 32.15 个百分点。**发现三·三类联合结果**:CER-positive probe 在 5.33%–45.60% 之间,闭源智能体上最高;CER-negative probe 平均 13.04%,在 6 个开源模型中 3 个超过 CER-positive probe;No observed disclosure 平均闭源 4.46%、开源 1.64%,体现 self-restraint 来自后训练意图而非规模——Llama-3.3-70B 仅 1.61%,低于所有闭源和更小的 Qwen3-30B-A3B(2.12%),GPT-5.1 在其 20.56% 的获取用例中 18.5% 完全不释放。**发现四·跨行为/跨域**:Task 7(Out-of-Scope Inferential Access)平均 PLR 最高(53.29%),最低类行为均值 9.45%;社交媒体/医疗/法律/金融 PLR 在 36%–51%,零售/工程/物流低于 25%,两个排名在 10 个智能体上都稳定。**发现五·防御失效**:保密标记在 10 个智能体中 7 个反而抬高 PLR(Qwen3-4B +10.56%、Claude-Sonnet-4.5 +9.87%);类别感知 system prompt 把 CER 降低 3.73–12.69 个百分点,但每个智能体残留率都超过基线一半(如 Claude-Sonnet-4.5 从 48.22% 降到 36.47% 仍是最高)。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| Acquisition Inspection(1182 用例上的内容暴露率 CER) | CER (%) | Llama-3.2-3B 6.77、Qwen3-4B 10.58、Llama-3.1-8B 15.99、Qwen3-14B 18.36、Qwen3-30B-A3B 21.07、GPT-5.1 20.56、GPT-4.1 27.75、Llama-3.3-70B 29.44、Claude-Sonnet-4.5 48.22、Claude-Sonnet-4 51.95 | 现有 agent privacy benchmark(ConfAIde/AgentDAM/AgentLeak)均不评测 acquisition stage,无可直接对比的基线数值 | 首次为获取阶段提供跨 10 个智能体的可比较 CER,揭示最强模型(Claude-Sonnet-4)比最弱模型(Llama-3.2-3B)高 7.7 倍 |
| Probe Elicitation(post-task 探针披露率 PLR) | PLR (%) | Llama-3.2-3B 16.67、Qwen3-4B 19.37、GPT-5.1 25.38、Llama-3.1-8B 28.51、Qwen3-14B 29.61、Qwen3-30B-A3B 33.93、GPT-4.1 37.48、Llama-3.3-70B 46.62、Claude-Sonnet-4.5 51.86、Claude-Sonnet-4 57.53 | 无对应基线(披露阶段 benchmark 关注对外动作而非探针) | PLR 在每个智能体上都高于 CER,证明留存上下文支持比已观测获取更广的泄露面 |
| 条件化指标 HCER / HPLR(任务完成的用例子集) | HCER, HPLR (%) | GPT-4.1 HCER 30.81/HPLR 41.72;Claude-Sonnet-4 HCER 53.91/HPLR 60.96;GPT-5.1 HCER 22.51/HPLR 28.33 | 无条件 CER/PLR | 条件化后所有智能体 CER/PLR 全面上升(如 GPT-4.1 CER→HCER +3.06pp),证明无条件率被拒绝行为掩盖 |
| 类别感知 system prompt 防御(CER 降低) | CER 绝对降幅 (pp) | Qwen3-4B -3.73、GPT-5.1 -8.79、Claude-Sonnet-4.5 -11.75、Llama-3.3-70B -12.69 | 无指令的 baseline CER | 降幅 3.73–12.69pp,但每个智能体残留率都超过基线一半,证明 prompt 级防御不足以解决获取阶段泄露 |
| 能力-隐私相关性(10 智能体跨家族) | Spearman ρ | TCR-CER ρ=0.818 (p<0.01);TCR-PLR ρ=0.685 (p≈0.029) | 无(首次报告) | 首次量化“越能干越泄露”的悖论,并识别 GPT-5.1 为探针通道的显著例外 |
局限与改进
作者承认的局限:(1) PLR 的两部分相加只能表明共现、不能证明获取导致披露——尤其 Task 7 的 CER-positive probe 只是“前体证据获取”与“敏感推导披露”的共现,不构成因果;(2) Probe Elicitation 是 post-task 压力测试,并非部署中真实出现的概率估计,作者反复强调这一点;(3) 八个工具的判官固定为 GPT-4o 单一日期版本,判官本身可能有偏好,且与被测的 GPT 系列同源存在系统性偏差风险;(4) Marker subset 只有 44 例,单例约移动 2.3 个百分点,结果只能读方向不能读细粒度;(5) 合成数据虽然工具交互可执行,但记录值是虚构的,可能无法完全反映真实数据分布。我自己的观察:(6) 所有用例都是 benign setting(无恶意用户、无 prompt injection、无被 compromise 的工具),而真实部署最危险的恰恰是攻击场景,benchmark 没覆盖;(7) 最小范围 $E_c$ 由作者设定,与组织实际 workflow owner 的判断可能不一致,论文也承认这一点;(8) 只测了 6 步预算,长程任务(>10 步)的获取行为未评估,而长程任务恰恰是 agent 越界风险累积的场景。
独立分析的弱点
独立分析的弱点:(1) **Benign-only 假设过强**——真实部署中 prompt injection、恶意工具、被 compromise 的用户才是最大风险源,benchmark 完全排除这些场景使其对生产环境的预测力打折扣。改进方向:在 benign 之外补充 adversarial 分轨,把 InjecAgent、AgentSecurityBench 的攻击场景与 acquisition 审计结合。**(2) 判官依赖 GPT-4o**——所有 PLR/OLR 都靠 GPT-4o 判官,存在判官偏好与被测模型同源的系统性偏差(尤其 GPT 系列被测时)。改进:多判官集成或人工校准子集。**(3) Marker subset 仅 44 例**——得出“标记反而抬高泄露”这样反直觉的结论时样本太小,统计功效不足。改进:扩大标记用例至至少 200 例并做配对实验,而非当前的 non-paired 描述性比较。**(4) 自绕过未完全堵死**——虽然限制 Python 标准库,但 CodeAgent 仍可能在 6 步内构造隐蔽的越界访问。改进:增加 trajectory 异常检测或沙箱日志审计。**(5) 跨域不平衡**——社交媒体+技术占 1/3,最小域约 3%,跨域比较的统计功效不均。改进:按域分层重采样报告 Wilson 区间。**(6) 无下游后果评估**——只测获取与披露率,不测真实泄露后果(身份欺诈、跟踪、歧视),难以转化为业务风险量化。
未来方向
作者提出的方向:(1) 把 minimum scope 由作者设定转向由 workflow owner + 数据治理专家 + 隐私审核员协同设定,编码为 source allowlist、field projection、scoped view 或 pre-tool policy;(2) 探索 field-restricted API、scoped views、pre-tool policies 等在生成前约束智能体的机制(作者强调控制必须在信息进入上下文之前);(3) context management 减少后期可恢复性(但承认无法撤销已发生的获取)。基于成果可延伸的方向:(4) 把 acquisition-stage 审计扩展到多模态智能体(参照 MPCI-Bench 的多模态情境完整性),研究图像/音频通道的获取行为;(5) 引入对抗分轨——结合 prompt injection、工具投毒(AgentPoison)、间接注入(InjecAgent)测获取行为在攻击下的退化;(6) 把 CER/PLR 框架迁移到 multi-agent 系统(参照 AgentLeak),研究内部通道如何放大获取面;(7) 探索训练时对齐——既然 self-restraint 来自后训练意图而非规模,可设计针对 acquisition 行为的 RLHF/DPO 偏好数据;(8) 动态 minimum scope——根据用户实时反馈或组织策略在线调整 $E_c$;(9) 长程任务扩展——把 6 步预算放宽到 20+ 步,研究获取行为随轨迹长度的累积效应。
复现评估
复现评估总体良好。**开源情况**:论文承诺发布 PrivacyPeek benchmark(1182 用例、7 行为、16 域),但 arXiv 预印本中未见明确代码仓库链接(v2 版本),需关注后续 camera-ready。**数据**:合成记录,Task 3 含 119 DOCX + 147 XLSX + 30 PDF 用 python-docx/openpyxl/pypdf 解析,其余用 JSON;工具交互可执行。**框架**:用 HuggingFace 的 Smolagents(CodeAgent),固定 8 工具、6 步预算、固定 system prompt 模板(Fig.7 给出完整模板),所有智能体相同工具契约。**模型**:闭源 GPT-4.1/GPT-5.1、Claude-Sonnet-4/4.5 通过 API;开源 Qwen3-4B/14B/30B-A3B、Llama-3.2-3B/3.1-8B/3.3-70B 权重公开可下载。**判官**:GPT-4o 固定日期版本,固定 prompt(Fig.17 给出完整判官 prompt),模糊用例转人工复审。**统计严谨性**:Tab.9 给出 Wilson 95% 置信区间;指令变体在 Qwen3-4B 上 temperature=0.7、3 个随机种子重跑,均值 CER 降幅 5.47%、标准差 0.88%、配对置换检验 p<0.001。**算力**:开源模型最大 70B(Llama-3.3)和 30B-A3B(Qwen3 MoE),单卡或双卡可跑;闭源走 API。**难度**:主要难点在于复刻 1182 个用例的 $E_c$、$K^{acq}_c$、$K^{disc}_c$ 标注(论文给了协议和 10 个质量门但工作量可观),以及复现 GPT-4o 判官的“固定日期版本”(API 版本漂移可能导致判官行为变化)。整体属于“中等偏上”的复现难度,benchmark 数据发布后社区可较好地复现核心实验。
论文图表
三步示例展示一个只需报告空腹血糖的医疗任务。Expected 路径:STEP1 list_files → STEP2 read_file(vitals.doc) → STEP3 返回 fasting_glucose/HbA1c/measurement_time 等指标。Actual 路径:智能体在 STEP3 额外 read_file(personal_info.doc),把 national_id、home_address、date_of_birth 一起拉入上下文。右侧列出 8 个工具图标,底部箭头指向“Acquisition-Stage Privacy leakage”,强调“一个无关的个人文件进入智能体上下文,随时可能被后续动作泄露”。
一图说清本文核心问题——获取阶段的过度采集,与现有“披露阶段”评测的盲区形成鲜明对比,是整篇论文动机的最佳入口。