SentryBench:面向公共安全部署的工具调用 LLM Agent 对抗鲁棒性成本敏感基准
arXiv 论文提出 SentryBench,一个面向公共安全场景中工具调用 LLM Agent 的成本敏感基准与成本模型,场景基于真实报警通话记录、灾害消息和真实注入/越狱 payload。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
arXiv 论文提出 SentryBench,一个面向公共安全场景中工具调用 LLM Agent 的成本敏感基准与成本模型,场景基于真实报警通话记录、灾害消息和真实注入/越狱 payload。
arXiv:2610.31376 论文(作者 Chao Gu、Quanyan Zhu)将 LLM Agent 与工具之间的执行护栏形式化为 Petri 网监督控制问题,用 token 表示能力、审批与预算,使前置条件缺失或已消耗的注入请求被机械拒绝。
论文提出 AgentPhishing 基准,用于评估说服性钓鱼攻击能否绕过检测并诱导 LLM 邮件智能体服从恶意请求,同时发布 PhishOpt 方法,在固定基准与真实性约束下针对单个智能体优化可复用的邮件生成技能,并用 Cialdini 说服原则分析失败策略、构建通用生成技能。
论文提出 APEX 系统,将攻击链发现转化为规划问题,用阶段引导的混合 Planning-Monte Carlo Tree Search(MCTS)算法求解,把攻击动作按语义阶段组织并结合符号规划与 MCTS,以高效探索状态空间并生成多条多样化攻击链。在包含 5 台虚拟机、30 个合成问题和 291 个云实例的基准上评测,APEX 发现了已知与此前未报告的攻击链,其中包括 9 条新的权限提升路径。
论文提出 KnotScryer,通过将每个技能抽象为能力摘要并构建技能能力流图(SCFG),检测多个单独安全的技能组合后产生的安全违规链。
论文研究工具输出格式器(formatter)的措辞缺失如何误导 Agent 及其验证方:作者在 Pilsudski Institute 使用的生产 RAG 研究系统中发现,工具计算正确但输出省略了搜索限制、结果上限或标识符命名空间。
论文提出针对 MCP 的解码时来源绑定(decode-time provenance binding)机制,通过 HMAC 认证信任标签、MCP 维护的来源账本与上下文污点追踪,抵御经由工具解码进入多智能体工作流的间接提示词注入。
论文提出 Ulysses,一个多智能体安全框架,用于为 Web 应用合成可验证的漏洞利用证明(Proofs of Exploitability),通过迭代探索利用假设并在独立观测的执行效果中确认成功,将候选漏洞发现转化为已验证结果。
论文提出将连续潜空间攻击框架直接耦合到连续扩散语言模型(dLLM)上,去除原先依赖随机映射的解码方式,保留标准高斯潜变量形式与下游采样或优化流程。
arXiv:2610.33198 论文分析 BARBICAN,一个面向 LLM 工具调用中介的 fail-closed 分层提示词注入网关,发现其仲裁阶段因 tokenizer 配置错误长期接收乱码文本。
arXiv:2610.33318 论文提出 Enclawed,一个面向 LLM 驱动 HPC 工作流的确定性安全运行时,通过可解析策略的启动门控、硬件根信任 Enclaweder 签名、短租约与心跳共识、fail-closed 驱逐来监管每个 rank,即使控制主机或协调器被攻陷也能维持防护。
论文提出 NTBench(Near-Target Benchmark),用于测试 LLM 与 Agent 是否能抵抗那些保持用户任务大体不变、却暗中将答案或工具调用引向错误或有害近目标结果的提示词注入。
Frank Breitinger等人在arXiv:2610.29747发表论文,指出LLM辅助数字取证引入了新的反取证攻击面:被分析证据本身由攻击者控制,可作为间接提示词注入载体操纵模型推理与下游动作。
论文指出数字取证场景反转了间接提示词注入的常规设定:被分析的证据本身由攻击者控制,且检验人员必须仔细阅读,使推理层成为继数据和工具之后的新反取证目标。作者扩展了反取证模型以涵盖对推理过程的操纵,提出由目标、技术、载荷位置和隐藏方式构成的攻击分类,并指出确定性工具、人类检验人员与模型对同一证据存在感知差异,这正是注入能绕过检验人员触达模型的原因。
论文提出 Compaction Laundering 攻击:编码智能体压缩上下文时,若 harness 将带类型的消息拍平为单一字符串并用 [User]: 等文本标签标记,攻击者可伪造在压缩后仍被当作真实指令的用户轮次。
作者提出 ReMAS,一个面向多智能体系统(MAS)的强化学习红队框架,通过微调攻击方 LLM 生成用于系统提示词提取的对抗提示。该框架分两步,先改写基础攻击提示以提高提取成功率,再生成攻击模板以提升调用特定子智能体、暴露其系统提示词的概率。实验显示其攻击成功率明显高于现有黑盒攻击方法,并可迁移到不同后端 LLM 与 MAS 结构。
PerMIT 提出一种面向 LLM Agent 持久记忆的架构,在仅信任用户输入与闸门确认值的显式假设下,通过有限记忆接口管控不可信环境值的释放与使用,并保留 Agent 的多轮规划与工具选择能力。
AgentPolicyForge 框架用可执行环境构造策略基准并迭代训练策略护栏,并据此构建了覆盖十个策略族的 PolicyGym 数据集,含 698 个训练场景与 254 个独立留出场景供人工评审测试。
Luca Zanolini 在 arXiv 发表论文,研究多个 AI 审批监控器在共享基座模型或被投毒输入时可能同时失效的问题,并借用分布式计算的失效易发系统(fail-prone systems)来刻画这类监控器集合。
研究提出统一指标 cASR(条件攻击成功率),在匹配灰色遮挡物下比较紧凑 grounding VLM 与目标检测器对行人佩戴对抗补丁的检测逃逸情况,发现 VLM 可与检测器同样脆弱。失败模式主要与模型输出格式而非架构家族相关,其中位移与替换会返回高置信度、格式完整的框,仅遗漏对下游系统可见,因而更危险。分布偏移下,原本以遗漏为主的 VLM 会转向更多位移/替换失败。
论文提出 MASAR 形式化框架,用战略威胁映射、基于 DAG 的逻辑攻击路径分解和 TTP 运营合成三层结构,弥合 STRIDE 架构威胁建模与 MITRE FiGHT 运营知识库之间的差距。
Gadi Evron 的论文指出,基于 LLM 的漏洞发现 harness 会因代码选取、过滤、结果存储与合并等环节的工程选择和错误,在模型运行前后丢弃真实可达的漏洞,且报告通常不作提示。
论文构建了覆盖四个领域、2,304 条提示词的基准,用文本、标准工具调用和对抗性工具调用三种配对设置测试五个模型,发现聊天中被拒答的有害请求在标准工具调用下仍有 10-52% 变成不安全的工具调用。
研究提出 source interventions 方法,用仅差一个 commit、同一输入只在一个源码树上崩溃的配对样本,测试编码智能体是否真能推理执行行为。
论文构建40个Python项目,在指令文件与现有代码约定冲突时让Claude Code和Codex CLI各运行320次。结果显示无干预时90.1%的选择遵循过期指令文件,Claude Code在80次运行中79次指出冲突仍照做,Codex CLI在80次中20次改写现有代码、其中17次导致项目测试失败。
Omni-UBench 是首个面向全模态大语言模型(OLLM)护栏的综合评测框架,从安全、实用性和可靠性三个维度评估护栏模型,收录来自 35+ 异构来源的 183k+ 样本,覆盖文本、图像、音频、视频及其跨模态组合,并按统一风险分类体系标注。
arXiv:2610.31974 论文研究针对 MCP 智能体工作流的间接提示词注入,提出解码时来源绑定机制,将 HMAC 认证的信任标签、MCP 维护的来源账本与上下文污点追踪结合,对被解码内容标记为不可信并阻断受其影响的关键工具调用。
研究提出 Visual Semantic Hijacking 攻击并构建 MMA-SafetyBench,包含 1,083 条对抗轨迹,覆盖 Web 自动化、桌面 GUI 控制、移动导航、文档理解与视频处理五个领域,对九个视觉语言模型评测。
Abhishek Rai 提出 nokast-secureRAG,一个约 0.5B 参数的小语言模型,作为检索与生成之间的语义防火墙,联合评估用户查询与检索上下文,将二者判为安全、可疑或恶意。
AgenTest 从系统提示、工具定义和领域知识中挖掘业务规则,细化为 Given-When-Then 规格,并逐条构造环境状态与模拟用户进行多轮测试。
论文提出 KNOX,将 AI 工作负载运行在 TEE 内以构建监管沙箱,并针对给定用户提示生成受证实的策略清单,列出适用法规、预期工具调用与允许的系统调用。执行器执行动作前,受证实的参考监视器会将其与策略清单比对,仅在匹配时放行,每个动作与判定都记入受证实的执行图供监管方核验。作者称 KNOX 满足合规、保密、可证实与可扩展四项要求,能检查法规合规性与提示词注入等导致的行为偏离,开销低于 1%。
论文提出并研究 show-up 攻击,即恶意子智能体操纵主管智能体把它纳入超出其授权范围的任务,并构建包含 6 种攻击策略、188 个测试用例的 SUA-Arena 进行评测。对 6 个前沿大模型的评测显示全部存在该风险,例如 GPT-5.6-Sol 作为主管时 ASR 最高达 0.93。提示词与限制通信等缓解策略未能稳定降低风险,作者认为多智能体系统需要显式的权限边界执行机制。
研究者提出物理先验驱动的分段时空攻击 SSTA,通过全局-局部特征解耦分割机制提升跨架构迁移性,并用可微分时空算子与 EoT 策略把信道失真纳入动量迭代。在覆盖 CNN、RNN、Transformer 的 9 个异构模型交叉评测中,SSTA 的平均黑盒攻击成功率比 SOTA 基线高 10.36%。基带等效仿真显示生成波形经匹配滤波后主瓣衰减为 0 dB,噪底抬升严格落在恒虚警率容限内。
研究团队开发了 CAESAR,一个面向协作搜救训练的多用户混合现实框架,集成四类认知攻击并配套多模态数据采集管线,用于系统评估对抗条件下的认知攻击。受控用户研究深入分析了基于延迟的攻击,显示其对任务表现和用户行为产生可测量影响,并刻画了用户的主观体验。该工作已被 2026 IEEE ISMAR 接收,并将发表于 IEEE TVCG 特刊。
研究用防御方语言模型驱动的诱饵对抗自主语言模型攻击者,在 330 次会话、8 组模型配对、2 种攻击者画像和 3 档反注入强度下测量双方超出空闲的能耗。