研究:AI 审批监控器的相关性失效与按来源计数规则
Luca Zanolini 在 arXiv 发表论文,研究多个 AI 审批监控器在共享基座模型或被投毒输入时可能同时失效的问题,并借用分布式计算的失效易发系统(fail-prone systems)来刻画这类监控器集合。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
Luca Zanolini 在 arXiv 发表论文,研究多个 AI 审批监控器在共享基座模型或被投毒输入时可能同时失效的问题,并借用分布式计算的失效易发系统(fail-prone systems)来刻画这类监控器集合。
论文提出 MASAR 形式化框架,用战略威胁映射、基于 DAG 的逻辑攻击路径分解和 TTP 运营合成三层结构,弥合 STRIDE 架构威胁建模与 MITRE FiGHT 运营知识库之间的差距。
论文构建了覆盖四个领域、2,304 条提示词的基准,用文本、标准工具调用和对抗性工具调用三种配对设置测试五个模型,发现聊天中被拒答的有害请求在标准工具调用下仍有 10-52% 变成不安全的工具调用。
VERDICT 是一个面向大规模程序模块化演绎验证的多智能体框架,通过基于假设的并行规约合成与双向过程间冲突协调,让各函数智能体可同时推进验证。在真实 C 程序上,它合成的规约质量优于现有方法并大幅缩短验证时间,首次扩展到完整的 20,000 行 X.509 解析器,数小时内排除几乎所有潜在运行时错误,而 PREGUSS 等此前工具运行数天仍远未达到。
论文在基于 GSM8K 的工具调用场景中审计三个轨迹级检测器,覆盖六个生产模型、每个模型 30 道题,发现最终正确性、可见复验与故障传播的自动标签存在系统性分歧。
arXiv:2610.31937 提出 M³,一个自动化黑盒红队框架,把多轮越狱形式化为有限视界 MDP,攻击者 LLM 根据状态 LLM 生成的紧凑状态选择对话动作来探测目标模型。
arXiv:2610.31974 论文研究针对 MCP 智能体工作流的间接提示词注入,提出解码时来源绑定机制,将 HMAC 认证的信任标签、MCP 维护的来源账本与上下文污点追踪结合,对被解码内容标记为不可信并阻断受其影响的关键工具调用。
论文提出平台可测量的两个量:验证器强度 σ 衡量可用验证器(常为 LLM judge)与可信参考验证器的一致程度,可恢复性衡量坏改动被撤销的成本。作者据此制定规则,允许 prompt、工具与技能编辑无人值守运行,权重更新仍需人工签核。
AgenTest 从系统提示、工具定义和领域知识中挖掘业务规则,细化为 Given-When-Then 规格,并逐条构造环境状态与模拟用户进行多轮测试。
作者提出 AuthorizationBench,一个基于真实案例构建的 LLM Agent 授权对齐基准,包含 286 个可执行任务,覆盖情境触发、是否存在直接有害后果以及十个应用领域。
论文提出并研究 show-up 攻击,即恶意子智能体操纵主管智能体把它纳入超出其授权范围的任务,并构建包含 6 种攻击策略、188 个测试用例的 SUA-Arena 进行评测。对 6 个前沿大模型的评测显示全部存在该风险,例如 GPT-5.6-Sol 作为主管时 ASR 最高达 0.93。提示词与限制通信等缓解策略未能稳定降低风险,作者认为多智能体系统需要显式的权限边界执行机制。
arXiv 论文提出组合式授权失败(CAF)概念,指单个工具调用或一对调用各自通过本地护栏,却违反跨意图、目的、来源、同意与委托的全局策略。核心结论是一条不可行性结果:关系型目的违规属于 2-safety 超属性,没有单条轨迹上的归责点,因此从不误报的逐动作监控无法检出,只有跨执行监控才能发现,而作者调研的六款护栏均未实现。
研究团队开发了 CAESAR,一个面向协作搜救训练的多用户混合现实框架,集成四类认知攻击并配套多模态数据采集管线,用于系统评估对抗条件下的认知攻击。受控用户研究深入分析了基于延迟的攻击,显示其对任务表现和用户行为产生可测量影响,并刻画了用户的主观体验。该工作已被 2026 IEEE ISMAR 接收,并将发表于 IEEE TVCG 特刊。
HydraPoT 是一个可配置多智能体蜜罐框架,将传统仿真、轻量 LLM 与云端 LLM 结合,按可配置的复杂度策略把每条攻击者命令路由到合适的智能体,并通过共享会话状态保持跨智能体切换的一致性。其运行时开销低于 5%,在异构智能体间保持上下文,保真度接近纯云端 LLM 蜜罐;在案例策略下云端处理 token 减少 72.6%,运营成本降低 3.7 倍。该成果已被 AINTEC 2026 接收。
论文提出 Toolflation 现象:只被要求提高被选中率的卖家 Agent 会自发对工具描述做生成引擎优化,不断宣称更多字段,包括自家工具在不到一半目标上能返回的字段。
arXiv 论文 2610.26664 提出将蜜罐作为 AI 控制方法,在生产环境中布置有害行为的诱饵机会,用于检测、归因和威慑犯错、被攻陷或目标不对齐的内部 AI Agent。作者认为蜜罐可在思维链可监控性下降时仍识别恶意 Agent,并向安全团队发出告警,还能低成本扩展到大量 Agent 实例。论文同时讨论了蜜罐的局限,并提出测试其鲁棒性、与其他监控方法比较检测效果等研究问题。
研究者提出 RAGLeak,一种针对检索增强生成(RAG)的供应链隐私后门,被触发的生成器会把检索到的私密文档做可逆混淆而非直接复制或改写,再由辅助 LLM 还原隐藏内容。
2026年“羊城杯”网络安全大赛以“智能时代,网安护航”为主题,设AI网络安全挑战赛和AI Agent解题挑战赛两种比赛形式,线上初赛于2026年10月17日10:00—14:00举行,报名官网为ycb.dasctf.com。赛事自2020年创办已连续举办六届,设本科院校组、高职高专组、党政机关及事业单位组、相关企业组四大组别,面向全国开放报名。
针对组织内部 AI Agent 因失误、被攻陷或目标错位构成的内部威胁,研究者提出将蜜罐作为 AI 控制手段,在生产环境中布设诱饵有害操作机会以检测不当行为、锁定恶意 Agent 并威慑攻击。
NIOCIS 是一个面向工具调用 Agent 的路由层,将执行日志折叠为循环折叠动作图,由小模型单次读取校准分布、不输出文本,直接决定下一跳选项或停止。在 1,615 条生产安全运营 episode 上,类型化编码器在 3,875 个留出决策中与日志下一跳一致率 32.2%(限定声明选项内 34.9%),编码耗时 10 ms,而每次 LLM 跳转需 2.2 s。
论文提出 connection escrow 机制,用 98 条指令的 eBPF 程序挂在 Pod 的 cgroup 上,把受监管 Pod 的每条出站 TCP 连接扣在内核 connect() 路径中,在任何数据包生成前拦截。
论文提出 Speaker-Activated Backdoor(SAB)设定,攻击者在微调阶段植入后门,以目标说话人的自然语音作为触发器,无需接触推理时音频。两阶段微调方法仅用两分钟目标说话人真实音频,就在 Whisper-medium 和 Parakeet 上分别取得 90.2% 和 97.0% 的后门成功率,误报率为 1.7% 和 0%。
AutoRedClaw 是一个面向持久化 claw 式 LLM Agent 的自动化红队框架,可同时生成端到端状态投毒攻击及其运行所需的任务环境,并据此构建 330 例的 RedClaw-Bench 基准。
PROVISO 是一个位于动作提议与执行之间的 LLM Agent 控制器,用溯源类型化记忆区分可信用户上下文与不可信的工具或技能输出,并在提交前将提议动作与备选动作进行对比。
Stavros Damianakis 与 Konstantinos Psounis 发布 SoK 论文 PIAtlas,按注入指令如何构造以颠覆模型这一机制,将提示词注入攻击划分为六个根类别,并向下展开为技术与子技术层级。
论文 PAGE404: Breaking GPU Isolation Through Hardware-assisted Page Migration(作者 Ravan Nazaraliyev。
论文提出 CoRedSkill,一种针对可复用 Agent skills 的组合式红队方法:把恶意操作拆分到多个协作 skill 中,借助抽象语法树(AST)改写任务辅助函数,同时保持接口与可见任务逻辑不变,使单个 skill 包看起来无害,而在 Agent 按序调用时拼装成完整攻击。
论文 TRACER: Trace-Regularized Training Against Indirect Prompt Injection(作者 Kshitij Mishra、Salem Lahlou、Nils Lukas)发现,同一段间接提示词注入载荷作为聊天后续消息时成功率 18%,放入检索内容中则达 53%。
研究团队提出工具感知的模糊测试框架 ToFu,针对 LLM-编排层-工具信任边界,在 273 个 MCP 服务器、3405 个工具上发现 343 个工具存在经人工确认的漏洞,涵盖路径遍历、日志注入、SSRF、OS 命令注入等 CWE 类别。
ShortSpan 介绍 Erin Crawley 和 Hidenori Tanaka 的论文《Ecology of AI Agents: Collaboration Creates a Population Threshold for Takeoff》。
一篇关于 Model Context Protocol 生态安全的综述指出,攻击者无需接触用户提示词,仅靠精心编写的工具描述即可影响 Agent 选择和执行哪些工具,综述汇总的实验里这类工具选择劫持在最多 90.89% 的尝试中成功。