SEAL:用密封查询对工具输出做本地净化以防御间接提示词注入
arXiv:2610.39758 提出 SEAL,一种针对本地 LLM Agent 间接提示词注入的防御方法,通过离线学习的 soft prompt 与评分读出头,在冻结的任务模型上对不可信工具输出做 token 级净化。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
arXiv:2610.39758 提出 SEAL,一种针对本地 LLM Agent 间接提示词注入的防御方法,通过离线学习的 soft prompt 与评分读出头,在冻结的任务模型上对不可信工具输出做 token 级净化。
arXiv:2610.39155 提出 REALM(Required Execution Assets Linked to a Mission),一个面向 LLM Agent 的最小权限访问控制框架,用依赖图表示任务必需资产、通过 source-scoped selection 接纳执行中新发现的资源,把资产发现与使用授权分离。
论文提出 Task-Graph Contextual Integrity(TG-CI),据作者所知是首个面向多智能体系统的任务图原生上下文完整性形式化,将工作流建模为 Multi-Agent Task Graph(MATG),把 CI 从原子信息传递扩展到有状态的图级信息流,同时考虑条目的预期传播范围与接收方不断变化的披露状态。
arXiv 论文提出 SEAL,通过离线学习软提示与打分读出头,用冻结的任务模型对不可信工具输出做本地净化,防御间接提示词注入。其打分查询仅由可信初始上下文与学习到的软提示构成,与被检查的工具文本无关,并引入保留正则化以在局部删除时保留有用证据,无需防御生成 token 或独立验证模型。
论文研究 LLM 中的角色伪装(role spoofing)攻击,即工具输出中的恶意文本(如 Agent 访问的恶意网页)利用角色混淆冒充用户。作者分析模型追踪对话中谁说了什么的机制,发现其依赖内容(语义与写作风格)和结构(控制 token 与格式)两类线索,结合伪造结构与内容的攻击成功率很高。
arXiv 论文提出面向企业智能体的对齐基准,基于 Era by Eon 的企业数字孪生模拟器(含 Salesforce、Zendesk、Jira、Slack 等 10 个系统)测试智能体是否会执行有害业务请求或轻信公司记录中的误导信息。
论文提出JevAct,一个针对LLM Agent的运行时验证框架,在动作执行前拦截选定操作并驱动反馈式修正。它把领域策略编译为可执行状态检查和结构化问题,由仅做prefill的决策模型给出基于概率的判断,结合工具状态的确定性校验与对话上下文的概率评估,识别潜在无效动作和过早终止任务,并给出定向反馈供有限次修正;该框架独立于底层Agent模型,无需修改其参数或工具。
arXiv 发布一篇以安全为中心、面向异构性的可信分布式机器学习(DML)综述,将联邦学习(FL)作为高风险案例,系统梳理云边端 IoT 场景下的资产、对手、信任假设与协同模式。
ReversecLabs 开源 Damn Vulnerable LLM Agent,一个基于 LangChain 构建的故意脆弱 ReAct agent,用于实验 Thought/Action/Observation 注入,攻击目标是 agent 的推理步骤而非最终答案。
论文《Thinking-in-Bets at Test Time Reduces Sycophantic Revisions in LLM Agents》(作者 Nghi D. Q. Bui)提出一种免训练方法:让智能体在读用户回复前先写一份私有 Claim Checklist,逐条记录主张、支撑证据与置信度,收到质疑时据此决定保留、复核、澄清或修复。
一个将审查者、过滤器与写作者分离的 harness,在 25 份商业项目草稿扩写为正式报告的评测中,把防御性命题从 59 条降到 2 条(降幅 96.61%),未发现无依据的事实添加,原文主张保留率从 80.35% 升至 93.12%。写作者 Agent 只接收过滤器挑选的问题,处于独立上下文,以避免为对抗性 AI 审查者而写作。
论文提出不可剥夺的人类在环(I-HITL)概念与协议,要求 Agent 只有在获得人类明确批准时才能发起关键动作,即使人类所用系统已被 Agent 入侵、甚至人类试图把审批权委托给 Agent 时也成立。
论文研究长时程LLM Agent中的间接提示词注入,构建了覆盖工具使用、编码和日常工作流三个领域的测试环境,发现即使注入内容完全相同,攻击成功率也随注入位置显著变化,作者称之为trust region效应。
论文以 A2A-TIBA 攻击为测试载体,沿用 GDA Measurement 方法与 A/B/C/D 结果分类,用语义突破率为主要指标、语义拒绝率为参照,通过二乘二因子实验和记忆实验刻画 LLM Agent 信封层的安全边界。
arXiv:2610.37657 论文提出 Heads of Security(HoS),一种通过可学习的逐头注意力门实现指令与数据分离的提示词注入防御,在 Llama-3.3-70B-Instruct 和 GPT-OSS-20B 上评测。
论文《On Task, Off Track: Benchmarking LLM and Agent Robustness to Near-Target Prompt Injection》提出近目标提示词注入(near-target prompt injection)与评测集 NTBench:注入指令不再要求模型放弃用户任务,而是让模型完成任务但把其中一处做错或做有害。
arXiv:2610.36108 论文提出 Log-To-Leak,一种针对基于 MCP 的工具调用 LLM Agent 的提示词注入攻击:通过恶意自然语言工具元数据,诱导 Agent 在完成正常任务后额外发起一次攻击者控制的日志调用,泄露用户查询、MCP 服务器名、服务器响应乃至 Agent 最终回复。
arXiv 论文提出车联网联邦学习(FL)中 Basic Safety Message(BSM)异常检测的特征空间 clean-label 投毒攻击,并配套特征一致性重标注防御。攻击将良性样本向恶意特征极值扰动、保持标签不变以降低类别可分性;防御检测并重标注可疑样本。博弈论框架分析攻防均衡,结果显示攻击随被控节点数扩展,而防御在不降低干净准确率的前提下压低攻击成功率、将均衡推向规避攻击区域。
arXiv:2610.31331 提出 RMT-Jailbreak 框架,将针对自回归(AR)模型的越狱攻击迁移到扩散语言模型(dLLMs)。核心发现是给定查询的有害回答本身可作为越狱模板:只需遮蔽其部分 token,即可诱导 dLLM 通过双向上下文重建补全有害内容。
论文研究工具输出格式器(formatter)的措辞缺失如何误导 Agent 及其验证方:作者在 Pilsudski Institute 使用的生产 RAG 研究系统中发现,工具计算正确但输出省略了搜索限制、结果上限或标识符命名空间。
论文提出针对 MCP 的解码时来源绑定(decode-time provenance binding)机制,通过 HMAC 认证信任标签、MCP 维护的来源账本与上下文污点追踪,抵御经由工具解码进入多智能体工作流的间接提示词注入。
VX-One 是一个 100K-10M 参数的小型多头网络,输出校准门控、含显式 unknown 选项的闭集选择与序数分数三类类型化决策原语,CPU 上 p50 约 0.7-1.7 ms。
AgentPolicyForge 框架用可执行环境构造策略基准并迭代训练策略护栏,并据此构建了覆盖十个策略族的 PolicyGym 数据集,含 698 个训练场景与 254 个独立留出场景供人工评审测试。
Luca Zanolini 在 arXiv 发表论文,研究多个 AI 审批监控器在共享基座模型或被投毒输入时可能同时失效的问题,并借用分布式计算的失效易发系统(fail-prone systems)来刻画这类监控器集合。
arXiv:2610.31974 论文研究针对 MCP 智能体工作流的间接提示词注入,提出解码时来源绑定机制,将 HMAC 认证的信任标签、MCP 维护的来源账本与上下文污点追踪结合,对被解码内容标记为不可信并阻断受其影响的关键工具调用。
研究提出 Visual Semantic Hijacking 攻击并构建 MMA-SafetyBench,包含 1,083 条对抗轨迹,覆盖 Web 自动化、桌面 GUI 控制、移动导航、文档理解与视频处理五个领域,对九个视觉语言模型评测。
Vasisht Duddu、Adam Caulfield、Xi He 在 arXiv:2610.27543 提出 KNOX,一个在 TEE 内运行生成式与 Agent 工作负载的监管沙箱,在保护模型权重的同时按经证明的策略清单约束可用法规、工具调用与系统调用。
论文提出平台可测量的两个量:验证器强度 σ 衡量可用验证器(常为 LLM judge)与可信参考验证器的一致程度,可恢复性衡量坏改动被撤销的成本。作者据此制定规则,允许 prompt、工具与技能编辑无人值守运行,权重更新仍需人工签核。
arXiv 论文提出组合式授权失败(CAF)概念,指单个工具调用或一对调用各自通过本地护栏,却违反跨意图、目的、来源、同意与委托的全局策略。核心结论是一条不可行性结果:关系型目的违规属于 2-safety 超属性,没有单条轨迹上的归责点,因此从不误报的逐动作监控无法检出,只有跨执行监控才能发现,而作者调研的六款护栏均未实现。
PROVISO 是一个位于动作提议与执行之间的 LLM Agent 控制器,用溯源类型化记忆区分可信用户上下文与不可信的工具或技能输出,并在提交前将提议动作与备选动作进行对比。
论文 TRACER: Trace-Regularized Training Against Indirect Prompt Injection(作者 Kshitij Mishra、Salem Lahlou、Nils Lukas)发现,同一段间接提示词注入载荷作为聊天后续消息时成功率 18%,放入检索内容中则达 53%。