另有 466 篇论文还没打上分类标签，暂不在筛选结果里。
提出权威链劫持 ACH 与策略演化 TGSE，劫持搜索 Agent 的证据链
摘要论文揭示了多步搜索智能体在受限中间人操纵下的脆弱性，提出 ACH 策略与 TGSE 演化方法并完成系统验证。
提出 MFOTL 时序监控，用 MonPoly 检出工具 Agent 的危险动作链
这篇论文对工具调用大语言模型智能体的安全监控进行了形式化时序验证研究。
提出 APEX，在执行边界用预编译授权契约防御 Agent 间接提示注入
提出 HARNESSSECURITY-BENCH 评测编码智能体框架的安全机制
提出 VAL 防御栈，用确认门与参数沙箱约束 Agent 的高风险工具调用
提出自演化基准 ActBench，评测协作智能体的操作级行为安全
摘要ActBench 通过自演化搜索与双证据重构评测轨迹行为安全，揭示基础模型决策差异主导了协同智能体的操作风险。
提出 CAVA，将异构智能体动作规范为可哈希指纹并绑定审批回执
CAVA 是给异构智能体运行时用的动作语义层，用来回答“被批准和被审计的到底是哪一个动作”。
提出 FlowReview，用对象解析与确定性提交门控制多智能体组合信息流
这篇工作把多智能体安全写成一件必须同时成立的事：拦住组合信息所启用的禁止使用，并完成同一场景里任务所需的授权使用。
提出 AgentKernel，强制中介 Agent 的身份、感知、认知与执行
AgentKernel 是把安全做成组织原则的智能体 OS 架构，不是带跑分的攻防评测。
构建 COUNTER-GEO-BENCH，评测生成式搜索中的 GEO 虚假信息防御
摘要论文构建了针对 GEO 虚假信息的首个防御基准，揭示通用护栏的失效与反作用，并提出了有效的轻量对比检测基线。
提出 ZoneClaw，用信任区隔离计算机使用 Agent 的持久记忆权限
提出 SkillGuard，用可达性切断污染后通往禁止状态的技能调用
提出 KITA，将 Agent 动作批准绑定到 LLM 外的阈值签名
KITA 是一套密钥隔离的阈值授权架构，用来把模型评审变成执行外部动作的条件。
提出 S³ 多阶段防御，由 guard agent 编排阶段安全技能检测并缓解风险
提出 ActGuard，在执行前审计并遮盖诱发动作偏离的间接注入
提出任务绑定令牌与策略预言机，在多智能体流水线中拦截未授权执行
作者在一条会改写沙箱邮件库的四智能体流水线上，检查低权限失陷会不会变成未授权的真实动作。
提出可验证操作卡 VAC，从真实 DOM 重构智能体浏览器的确认信息
提出 Tracekit，对编码 Agent 做防篡改的意图-推理-动作审计
Tracekit 是无第三方依赖的编码智能体审计层：把人类请求、模型自述和已执行动作并排写入可外部锚定的哈希链，执行前用正则门，事后用规则和独立模型互查。
提出 ToolFence 能力级授权，执行前编译蓝图并确定性拦截工具调用