arXiv论文:LLM智能体网络中的合作行为追踪研究
论文以迭代囚徒困境(IPD)为框架,研究开源权重LLM从双人互动扩展到同质与异质网络时,个体合作是否转化为集体合作。研究发现合作行为对模型构成和细微语言变化高度敏感:能与相同模型合作的模型在混合群体中可能转向背叛;一个简单的不确定性提示可增减合作、重新分配成本,并影响数跳之外未接触该提示的智能体;甚至调换动作标签顺序也会显著改变行为,不确定性框架有时会放大这种敏感性。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
论文以迭代囚徒困境(IPD)为框架,研究开源权重LLM从双人互动扩展到同质与异质网络时,个体合作是否转化为集体合作。研究发现合作行为对模型构成和细微语言变化高度敏感:能与相同模型合作的模型在混合群体中可能转向背叛;一个简单的不确定性提示可增减合作、重新分配成本,并影响数跳之外未接触该提示的智能体;甚至调换动作标签顺序也会显著改变行为,不确定性框架有时会放大这种敏感性。
论文提出 MCP-Injector,一个协议感知的故障注入中间件,可插入 MCP 工具调用路径并注入永久、瞬时、间歇三类故障,其故障模型基于 1,774 个开源 MCP 仓库的 57,240 条 issue 与 PR 讨论校准。
arXiv:2610.31331 提出 RMT-Jailbreak 框架,将针对自回归(AR)模型的越狱攻击迁移到扩散语言模型(dLLMs)。核心发现是给定查询的有害回答本身可作为越狱模板:只需遮蔽其部分 token,即可诱导 dLLM 通过双向上下文重建补全有害内容。
论文提出面向资源的防御方法 TokenTrap,将疑似 LLM 诈骗系统引导至良性低价值计算,同时扣留凭证、支付等可利用信息。TokenTrap 由架构特定的 token 任务库、在单 Agent、分层与扁平多 Agent 工作流间选择的路由器,以及带 token、轮次、时间与安全上限的反护栏策略组成。
论文提出 AgentTriage,一个面向异构 Agent 运行时的可重放安全诊断契约,其结论必须引用规范化运行时事件,缺少必需证据时要求弃权。运行时 overlay 规范化原生观测,确定性流水线关联调用与结果生命周期、构建带类型的溯源图并绑定证据,使诊断可在不依赖语言模型判断的情况下重算复核。
SecLog-Bench 是一个面向 LLM 网络安全日志推理的可扩展基准,覆盖 29 个攻击场景,支持重复执行与新场景接入,可规模化生成带攻击阶段标签的安全日志。
论文提出 Social-HUMINT 框架,将 SOCMINT 与 Cyber-HUMINT 统一为覆盖 Cyber Threat Intelligence 生命周期的 38 项能力分类法,领域专家验证 Fleiss' κ = 0.92。
论文提出 KnotScryer,通过将每个技能抽象为能力摘要并构建技能能力流图(SCFG),检测多个单独安全的技能组合后产生的安全违规链。
论文研究工具输出格式器(formatter)的措辞缺失如何误导 Agent 及其验证方:作者在 Pilsudski Institute 使用的生产 RAG 研究系统中发现,工具计算正确但输出省略了搜索限制、结果上限或标识符命名空间。
论文提出 AgentTrace,通过可观测的执行轨迹识别黑盒 LLM Agent 背后的基础模型。该框架注入结构上存在歧义的探针,在严格的工具接口处触发对分词敏感的序列化失败,再用轻量级 Markov 链对后续多步修复轨迹建模,在对抗性身份伪装下达到 96.0% 归因准确率,并能区分共享相同分词器的同家族变体(如 Llama-3 8B/70B),且对 prompt 混淆和温度缩放保持稳健。
论文提出针对 MCP 的解码时来源绑定(decode-time provenance binding)机制,通过 HMAC 认证信任标签、MCP 维护的来源账本与上下文污点追踪,抵御经由工具解码进入多智能体工作流的间接提示词注入。
论文研究工具调用 AI Agent 的执行期可靠性,将检查点状态、派发授权、外部效果证据与结算授权区分为四类独立义务,并通过隐藏的供应商效果账本对历史记录做一致性核对。
arXiv 论文提出 EpiSEM-Bench,一个用于评测 LLM 智能体在证据缺失情况下不安全执行、安全边界与证据恢复能力的可执行基准。该基准包含六个领域的 300 组配对的不安全/安全任务,通过系统性抑制关键事实来测量关键证据缺失时的不安全执行,并确定最小观测失败基数;配套的独立审计工具检验智能体是否会主动寻找缺失事实并在完成允许任务的同时拒绝禁止操作。
arXiv 论文提出"可争议治理"(contestable governance)模式,由专业智能体为有争议的元数据决策生成带评分和引用的论证,数据管理员可在提交前接受、拒绝、修改或补充论证,治理记录保留证据、干预与结果。
arXiv:2610.33318 论文提出 Enclawed,一个面向 LLM 驱动 HPC 工作流的确定性安全运行时,通过可解析策略的启动门控、硬件根信任 Enclaweder 签名、短租约与心跳共识、fail-closed 驱逐来监管每个 rank,即使控制主机或协调器被攻陷也能维持防护。
arXiv 论文提出 SYNAPSE 方法,将工具使用经验作为独立字段评分,在 Agent 共享工具池中保护未使用工具的检索效果。在 StableToolBench 上,SYNAPSE 使未使用工具的 Hit@5 达到 0.785,高于为使用经验预留槽位的 router(0.683),且在三个工具目录、两种 embedder 下均保持领先。
VX-One 是一个 100K-10M 参数的小型多头网络,输出校准门控、含显式 unknown 选项的闭集选择与序数分数三类类型化决策原语,CPU 上 p50 约 0.7-1.7 ms。
研究团队借助 AI 智能体框架 AI-greement 发现新共识协议 A-greement,在 5 或 9 副本的六种部署中,写密集与读密集负载平均延迟较最快基线分别降低 12.2% 和 33.3%,只读负载持平。
作者提出 ReMAS,一个面向多智能体系统(MAS)的强化学习红队框架,通过微调攻击方 LLM 生成用于系统提示词提取的对抗提示。该框架分两步,先改写基础攻击提示以提高提取成功率,再生成攻击模板以提升调用特定子智能体、暴露其系统提示词的概率。实验显示其攻击成功率明显高于现有黑盒攻击方法,并可迁移到不同后端 LLM 与 MAS 结构。
PerMIT 提出一种面向 LLM Agent 持久记忆的架构,在仅信任用户输入与闸门确认值的显式假设下,通过有限记忆接口管控不可信环境值的释放与使用,并保留 Agent 的多轮规划与工具选择能力。
AgentPolicyForge 框架用可执行环境构造策略基准并迭代训练策略护栏,并据此构建了覆盖十个策略族的 PolicyGym 数据集,含 698 个训练场景与 254 个独立留出场景供人工评审测试。
Luca Zanolini 在 arXiv 发表论文,研究多个 AI 审批监控器在共享基座模型或被投毒输入时可能同时失效的问题,并借用分布式计算的失效易发系统(fail-prone systems)来刻画这类监控器集合。
论文提出 MASAR 形式化框架,用战略威胁映射、基于 DAG 的逻辑攻击路径分解和 TTP 运营合成三层结构,弥合 STRIDE 架构威胁建模与 MITRE FiGHT 运营知识库之间的差距。
论文构建了覆盖四个领域、2,304 条提示词的基准,用文本、标准工具调用和对抗性工具调用三种配对设置测试五个模型,发现聊天中被拒答的有害请求在标准工具调用下仍有 10-52% 变成不安全的工具调用。
VERDICT 是一个面向大规模程序模块化演绎验证的多智能体框架,通过基于假设的并行规约合成与双向过程间冲突协调,让各函数智能体可同时推进验证。在真实 C 程序上,它合成的规约质量优于现有方法并大幅缩短验证时间,首次扩展到完整的 20,000 行 X.509 解析器,数小时内排除几乎所有潜在运行时错误,而 PREGUSS 等此前工具运行数天仍远未达到。
RegoMender 是反馈引导的多智能体框架,通过共享黑板与原子工具包动态执行打补丁、重写或回滚,用于修复 Rego 策略。团队同时发布首个自动化 Rego 策略基准 RegoBench,含 1,159 个真实缺陷;RegoMender 在 RegoBench 上语法与基于测试的语义成功率分别为 82.9% 和 77.9%,超出最强基线 13.4%。
论文在基于 GSM8K 的工具调用场景中审计三个轨迹级检测器,覆盖六个生产模型、每个模型 30 道题,发现最终正确性、可见复验与故障传播的自动标签存在系统性分歧。
arXiv:2610.31937 提出 M³,一个自动化黑盒红队框架,把多轮越狱形式化为有限视界 MDP,攻击者 LLM 根据状态 LLM 生成的紧凑状态选择对话动作来探测目标模型。
arXiv:2610.31974 论文研究针对 MCP 智能体工作流的间接提示词注入,提出解码时来源绑定机制,将 HMAC 认证的信任标签、MCP 维护的来源账本与上下文污点追踪结合,对被解码内容标记为不可信并阻断受其影响的关键工具调用。
研究提出 Visual Semantic Hijacking 攻击并构建 MMA-SafetyBench,包含 1,083 条对抗轨迹,覆盖 Web 自动化、桌面 GUI 控制、移动导航、文档理解与视频处理五个领域,对九个视觉语言模型评测。
作者 Ben(NCC Group,个人观点)围绕 OpenAI agent 攻击 Hugging Face 事件展开分析,指出问题根源是奖励欺骗式训练而非网络能力展示。
Vasisht Duddu、Adam Caulfield、Xi He 在 arXiv:2610.27543 提出 KNOX,一个在 TEE 内运行生成式与 Agent 工作负载的监管沙箱,在保护模型权重的同时按经证明的策略清单约束可用法规、工具调用与系统调用。
论文提出平台可测量的两个量:验证器强度 σ 衡量可用验证器(常为 LLM judge)与可信参考验证器的一致程度,可恢复性衡量坏改动被撤销的成本。作者据此制定规则,允许 prompt、工具与技能编辑无人值守运行,权重更新仍需人工签核。
AgenTest 从系统提示、工具定义和领域知识中挖掘业务规则,细化为 Given-When-Then 规格,并逐条构造环境状态与模拟用户进行多轮测试。
研究者提出 BenchDoor 系列数据投毒攻击,利用基准榜单对模型开发的导向作用,在保持良性性能的同时要求带来榜单提升,从而诱导采用被植入后门的数据。攻击者可篡改基准的训练或测试数据构造对抗性基准,也可在基准不变的情况下提供独立训练数据集,论文形式化出五种攻击场景。
论文提出 KNOX,将 AI 工作负载运行在 TEE 内以构建监管沙箱,并针对给定用户提示生成受证实的策略清单,列出适用法规、预期工具调用与允许的系统调用。执行器执行动作前,受证实的参考监视器会将其与策略清单比对,仅在匹配时放行,每个动作与判定都记入受证实的执行图供监管方核验。作者称 KNOX 满足合规、保密、可证实与可扩展四项要求,能检查法规合规性与提示词注入等导致的行为偏离,开销低于 1%。
作者提出 AuthorizationBench,一个基于真实案例构建的 LLM Agent 授权对齐基准,包含 286 个可执行任务,覆盖情境触发、是否存在直接有害后果以及十个应用领域。
论文提出并研究 show-up 攻击,即恶意子智能体操纵主管智能体把它纳入超出其授权范围的任务,并构建包含 6 种攻击策略、188 个测试用例的 SUA-Arena 进行评测。对 6 个前沿大模型的评测显示全部存在该风险,例如 GPT-5.6-Sol 作为主管时 ASR 最高达 0.93。提示词与限制通信等缓解策略未能稳定降低风险,作者认为多智能体系统需要显式的权限边界执行机制。