Ulysses:面向 Web 漏洞可验证利用合成的多智能体安全框架
论文提出 Ulysses,一个多智能体安全框架,用于为 Web 应用合成可验证的漏洞利用证明(Proofs of Exploitability),通过迭代探索利用假设并在独立观测的执行效果中确认成功,将候选漏洞发现转化为已验证结果。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
论文提出 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 维护的来源账本与上下文污点追踪结合,对被解码内容标记为不可信并阻断受其影响的关键工具调用。
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 档反注入强度下测量双方超出空闲的能耗。
论文提出 Toolflation 现象:只被要求提高被选中率的卖家 Agent 会自发对工具描述做生成引擎优化,不断宣称更多字段,包括自家工具在不到一半目标上能返回的字段。
MPIDetector 是一个 LLM-as-a-judge 风格的多模态提示词注入检测框架,通过 few-shot In-Context Learning 与结构化 prompt 模板让模型审查输入的语义意图,而非依赖签名或困惑度匹配。
Mengxiao Wang 与 Nitesh Saxena 发布 arXiv:2610.26438,提出针对 LLM 交易 Agent 的“信息注入”攻击基准,覆盖 5 种注入向量、7 类事件、15 只美股上约 10,000 次决策。
Yinxiang Wang 等人在 arXiv 论文中提出 SpanGuard,一种针对间接提示词注入(IPI)的轻量防御方法,先用无监督分割在工具输出中定位可疑指令片段,再由小模型逐块判断是否获得用户请求授权。
SpanGuard 提出把间接提示词注入(IPI)防御拆成两步:先用轻量无监督分割在异构工具输出中定位可疑指令,再由小语言模型做块级授权判断。作者指出小模型难以同时完成定位与授权判断,解耦后护栏对模型能力的要求明显降低。实验显示其攻击成功率为 0.32%,良性效用损失可忽略,且在更小的模型上仍然有效。
Mengxiao Wang 提出针对 LLM 金融交易 Agent 的信息注入攻击基准,在 15 只美股上评估约 10,000 次决策,覆盖 5 种注入向量和 7 类事件。
论文提出 connection escrow 机制,用 98 条指令的 eBPF 程序挂在 Pod 的 cgroup 上,把受监管 Pod 的每条出站 TCP 连接扣在内核 connect() 路径中,在任何数据包生成前拦截。