跳到正文

看学术

AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。

分类筛选1展开
共 108 条 · 更新于 15:39
10月23日周五
  1. arXiv56

    arXiv论文:LLM智能体网络中的合作行为追踪研究

    论文以迭代囚徒困境(IPD)为框架,研究开源权重LLM从双人互动扩展到同质与异质网络时,个体合作是否转化为集体合作。研究发现合作行为对模型构成和细微语言变化高度敏感:能与相同模型合作的模型在混合群体中可能转向背叛;一个简单的不确定性提示可增减合作、重新分配成本,并影响数跳之外未接触该提示的智能体;甚至调换动作标签顺序也会显著改变行为,不确定性框架有时会放大这种敏感性。

  2. arXiv76

    MCP-Injector 论文揭示工具调用 Agent 在真实 MCP 故障下的脆弱性,规模不提升容错

    论文提出 MCP-Injector,一个协议感知的故障注入中间件,可插入 MCP 工具调用路径并注入永久、瞬时、间歇三类故障,其故障模型基于 1,774 个开源 MCP 仓库的 57,240 条 issue 与 PR 讨论校准。

  3. 安全paper66

    RMT-Jailbreak:将自回归越狱迁移到扩散语言模型的框架

    arXiv:2610.31331 提出 RMT-Jailbreak 框架,将针对自回归(AR)模型的越狱攻击迁移到扩散语言模型(dLLMs)。核心发现是给定查询的有害回答本身可作为越狱模板:只需遮蔽其部分 token,即可诱导 dLLM 通过双向上下文重建补全有害内容。

  4. arXiv57

    TokenTrap:通过放大 token 消耗反制 LLM 诈骗系统的防御方法

    论文提出面向资源的防御方法 TokenTrap,将疑似 LLM 诈骗系统引导至良性低价值计算,同时扣留凭证、支付等可利用信息。TokenTrap 由架构特定的 token 任务库、在单 Agent、分层与扁平多 Agent 工作流间选择的路由器,以及带 token、轮次、时间与安全上限的反护栏策略组成。

  5. arXiv57

    AgentTriage:面向异构 Agent 运行时的可重放安全诊断契约

    论文提出 AgentTriage,一个面向异构 Agent 运行时的可重放安全诊断契约,其结论必须引用规范化运行时事件,缺少必需证据时要求弃权。运行时 overlay 规范化原生观测,确定性流水线关联调用与结果生命周期、构建带类型的溯源图并绑定证据,使诊断可在不依赖语言模型判断的情况下重算复核。

  6. arXiv73

    arXiv 论文:扭曲的工具输出格式器误导 Agent 与其验证方

    论文研究工具输出格式器(formatter)的措辞缺失如何误导 Agent 及其验证方:作者在 Pilsudski Institute 使用的生产 RAG 研究系统中发现,工具计算正确但输出省略了搜索限制、结果上限或标识符命名空间。

  7. arXiv65

    AgentTrace:基于执行轨迹的黑盒 LLM Agent 指纹识别框架

    论文提出 AgentTrace,通过可观测的执行轨迹识别黑盒 LLM Agent 背后的基础模型。该框架注入结构上存在歧义的探针,在严格的工具接口处触发对分词敏感的序列化失败,再用轻量级 Markov 链对后续多步修复轨迹建模,在对抗性身份伪装下达到 96.0% 归因准确率,并能区分共享相同分词器的同家族变体(如 Llama-3 8B/70B),且对 prompt 混淆和温度缩放保持稳健。

  8. arXiv75

    面向 MCP 的解码时来源绑定防御论文:阻断跨模态提示注入攻击

    论文提出针对 MCP 的解码时来源绑定(decode-time provenance binding)机制,通过 HMAC 认证信任标签、MCP 维护的来源账本与上下文污点追踪,抵御经由工具解码进入多智能体工作流的间接提示词注入。

  9. arXiv62

    EpiSEM-Bench:评测证据缺失下 LLM 智能体安全与证据恢复的基准

    arXiv 论文提出 EpiSEM-Bench,一个用于评测 LLM 智能体在证据缺失情况下不安全执行、安全边界与证据恢复能力的可执行基准。该基准包含六个领域的 300 组配对的不安全/安全任务,通过系统性抑制关键事实来测量关键证据缺失时的不安全执行,并确定最小观测失败基数;配套的独立审计工具检验智能体是否会主动寻找缺失事实并在完成允许任务的同时拒绝禁止操作。

  10. arXiv38

    可争议智能体(Contestable Agents)用于数据治理:记录人类对 AI 生成元数据的管理

    arXiv 论文提出"可争议治理"(contestable governance)模式,由专业智能体为有争议的元数据决策生成带评分和引用的论证,数据管理员可在提交前接受、拒绝、修改或补充论证,治理记录保留证据、干预与结果。

  11. 安全paper60

    Enclawed:面向 MPI 与批处理 HPC 系统的 LLM Agent 确定性安全运行时论文

    arXiv:2610.33318 论文提出 Enclawed,一个面向 LLM 驱动 HPC 工作流的确定性安全运行时,通过可解析策略的启动门控、硬件根信任 Enclaweder 签名、短租约与心跳共识、fail-closed 驱逐来监管每个 rank,即使控制主机或协调器被攻陷也能维持防护。

10月22日周四
  1. arXiv47

    SYNAPSE:将工具使用经验作为独立字段评分,保护 Agent 工具池中未使用工具的检索

    arXiv 论文提出 SYNAPSE 方法,将工具使用经验作为独立字段评分,在 Agent 共享工具池中保护未使用工具的检索效果。在 StableToolBench 上,SYNAPSE 使未使用工具的 Hit@5 达到 0.785,高于为使用经验预留槽位的 router(0.683),且在三个工具目录、两种 embedder 下均保持领先。

  2. arXiv41

    VX-One:面向实时边界分诊的类型化校准决策头,实测未知攻击诚实性、级联灰区与漂移下的校准

    VX-One 是一个 100K-10M 参数的小型多头网络,输出校准门控、含显式 unknown 选项的闭集选择与序数分数三类类型化决策原语,CPU 上 p50 约 0.7-1.7 ms。

  3. arXiv58

    ReMAS:用强化学习对多智能体系统做黑盒红队

    作者提出 ReMAS,一个面向多智能体系统(MAS)的强化学习红队框架,通过微调攻击方 LLM 生成用于系统提示词提取的对抗提示。该框架分两步,先改写基础攻击提示以提高提取成功率,再生成攻击模板以提升调用特定子智能体、暴露其系统提示词的概率。实验显示其攻击成功率明显高于现有黑盒攻击方法,并可迁移到不同后端 LLM 与 MAS 结构。

  4. arXiv60

    PerMIT:用机器校验完整性定理与社区信任保护 LLM Agent 持久记忆

    PerMIT 提出一种面向 LLM Agent 持久记忆的架构,在仅信任用户输入与闸门确认值的显式假设下,通过有限记忆接口管控不可信环境值的释放与使用,并保留 Agent 的多轮规划与工具选择能力。

  5. arXiv66

    研究:AI 审批监控器的相关性失效与按来源计数规则

    Luca Zanolini 在 arXiv 发表论文,研究多个 AI 审批监控器在共享基座模型或被投毒输入时可能同时失效的问题,并借用分布式计算的失效易发系统(fail-prone systems)来刻画这类监控器集合。

  6. arXiv62

    论文发现 LLM Agent 文本拒答难以迁移到工具调用

    论文构建了覆盖四个领域、2,304 条提示词的基准,用文本、标准工具调用和对抗性工具调用三种配对设置测试五个模型,发现聊天中被拒答的有害请求在标准工具调用下仍有 10-52% 变成不安全的工具调用。

  7. arXiv18

    VERDICT:多智能体并行模块化验证框架

    VERDICT 是一个面向大规模程序模块化演绎验证的多智能体框架,通过基于假设的并行规约合成与双向过程间冲突协调,让各函数智能体可同时推进验证。在真实 C 程序上,它合成的规约质量优于现有方法并大幅缩短验证时间,首次扩展到完整的 20,000 行 X.509 解析器,数小时内排除几乎所有潜在运行时错误,而 PREGUSS 等此前工具运行数天仍远未达到。

  8. arXiv31

    RegoMender:面向 Rego 策略自动修复的多智能体框架

    RegoMender 是反馈引导的多智能体框架,通过共享黑板与原子工具包动态执行打补丁、重写或回滚,用于修复 Rego 策略。团队同时发布首个自动化 Rego 策略基准 RegoBench,含 1,159 个真实缺陷;RegoMender 在 RegoBench 上语法与基于测试的语义成功率分别为 82.9% 和 77.9%,超出最强基线 13.4%。

  9. 安全paper71

    arXiv 论文提出 MCP 智能体工作流的解码时来源绑定防御

    arXiv:2610.31974 论文研究针对 MCP 智能体工作流的间接提示词注入,提出解码时来源绑定机制,将 HMAC 认证的信任标签、MCP 维护的来源账本与上下文污点追踪结合,对被解码内容标记为不可信并阻断受其影响的关键工具调用。

10月21日周三
  1. ShortSpan76

    MMA-SafetyBench 评测揭示多模态智能体易被伪造界面元素劫持

    研究提出 Visual Semantic Hijacking 攻击并构建 MMA-SafetyBench,包含 1,083 条对抗轨迹,覆盖 Web 自动化、桌面 GUI 控制、移动导航、文档理解与视频处理五个领域,对九个视觉语言模型评测。

  2. 安全paper55

    KNOX:面向生成式模型的硬件辅助监管沙箱

    Vasisht Duddu、Adam Caulfield、Xi He 在 arXiv:2610.27543 提出 KNOX,一个在 TEE 内运行生成式与 Agent 工作负载的监管沙箱,在保护模型权重的同时按经证明的策略清单约束可用法规、工具调用与系统调用。

  3. arXiv52

    论文提出无人值守 Agent 自我改进的两个可测量前提:验证器强度与可恢复性

    论文提出平台可测量的两个量:验证器强度 σ 衡量可用验证器(常为 LLM judge)与可信参考验证器的一致程度,可恢复性衡量坏改动被撤销的成本。作者据此制定规则,允许 prompt、工具与技能编辑无人值守运行,权重更新仍需人工签核。

  4. arXiv63

    BenchDoor:利用基准榜单激励实施数据投毒后门攻击

    研究者提出 BenchDoor 系列数据投毒攻击,利用基准榜单对模型开发的导向作用,在保持良性性能的同时要求带来榜单提升,从而诱导采用被植入后门的数据。攻击者可篡改基准的训练或测试数据构造对抗性基准,也可在基准不变的情况下提供独立训练数据集,论文形式化出五种攻击场景。

  5. arXiv58

    KNOX:面向生成模型的硬件辅助监管沙箱

    论文提出 KNOX,将 AI 工作负载运行在 TEE 内以构建监管沙箱,并针对给定用户提示生成受证实的策略清单,列出适用法规、预期工具调用与允许的系统调用。执行器执行动作前,受证实的参考监视器会将其与策略清单比对,仅在匹配时放行,每个动作与判定都记入受证实的执行图供监管方核验。作者称 KNOX 满足合规、保密、可证实与可扩展四项要求,能检查法规合规性与提示词注入等导致的行为偏离,开销低于 1%。

  6. arXiv60

    论文提出 show-up 攻击:恶意子智能体可越权拉主管入局

    论文提出并研究 show-up 攻击,即恶意子智能体操纵主管智能体把它纳入超出其授权范围的任务,并构建包含 6 种攻击策略、188 个测试用例的 SUA-Arena 进行评测。对 6 个前沿大模型的评测显示全部存在该风险,例如 GPT-5.6-Sol 作为主管时 ASR 最高达 0.93。提示词与限制通信等缓解策略未能稳定降低风险,作者认为多智能体系统需要显式的权限边界执行机制。