Another 262papers do not have category tags yet and are not included in filtered results.
提出 MFOTL 离线时序验证以监控工具 Agent 的危险动作链
这篇论文对工具调用大语言模型智能体的安全监控进行了形式化时序验证研究。
评测编码智能体 harness 安全机制在对抗任务中的防护效果
用配对回放评测任务范围授权能否阻断越权工具执行
提出 PAA 方法，在边界动作前审计长流程智能体的分阶段提示注入
本研究针对长流程智能体在执行任务时面临的分阶段间接提示注入威胁，提出了在动作生效前进行拦截的边界动作审计框架与路径对齐归因方法。
提出 APEX，在执行边界用授权契约防御 Agent 间接提示注入
提出 VAL 框架，并用确认门与参数沙箱约束智能体高风险工具调用
提出 Kubernetes 运维智能体的七层纵深防御框架与参考架构
把 Kubernetes 上的运维智能体当作不可信租户，在假定提示注入已完全控制其工具选择的前提下，用基础设施重建数据面与控制面的边界。要解决的是：智能体读日志、注解、工单或 MCP 工具描述时，这些内容可以变成它带着自身凭据执行的命令。模型对齐和分类器只降低概率。
提出 COBRA 双 LLM 架构，防御计算机使用 Agent 的分支转向攻击
Abstract提出分支转向防御架构 COBRA，通过事前能力约束与边界代理消除分支转向攻击并兼顾效用。
提出 PACE，在工具调用前做路径隔离与效果授权
PACE 是面向工具调用型 LLM 智能体的运行时调解：当准入证据无法区分会改变行为的规格时，不在出口站点上撤销调解，而在最后一次工具调用前同时检查表示出的影响路径和请求权限。
提出有状态策略引擎 Sapien，拦截被劫持智能体的越权工具调用
Sapien 是面向通用 AI 智能体的有状态策略引擎：执行前把用户提示词译成任务策略，运行时只放行该策略承认的工具调用序列。
为 Agent 提出资源层授权系统 Pincer，用数字分身执行动态最小权限
Pincer 是加在现成 coding agent 上的资源层授权防御：用只受用户侧信息影响的 digital twin 做动态最小权限，并与 tool-call 层防御并存。要处理的是用户维护策略带来的权限蠕变和授权疲劳，以及不学习用户策略的 tool-call 分类器。作者引述工作称 auto mode 会放行多数不安全操作，并认为推理代码或复杂 shell 的效果在这一层不实际。
提出 DART，用去噪表征转移检测多轮智能体攻击并注入提醒
提出 ActionGuard 在执行前拦截被投毒技能诱发的未授权工具调用
提出 TrustProbe，挖掘技能智能体中不可信 skill 到特权操作的信任链漏洞
提出 ToolFence，以能力蓝图和确定性授权拦截 Agent 未授权工具调用
提出多源完整性认证器，在结构化 Agent 动作执行前按控制域决定准入或弃权
这是一项结构化动作执行前的完整性防御研究，对象是从可腐化文档和工具输出拼装的支付等特权动作。
提出残余权限重放攻击，跨任务复用长期 Agent 的历史授权绕过确认
提出 MetaPermit，用 LLM 推断元属性与固定策略拦截间接提示注入
MetaPermit 是面向工具使用 LLM 智能体的混合访问控制：LLM 描述候选调用，固定策略决定是否放行。
提出 ActGov，在工具调用前用策略校验拦截间接提示注入
提出 APEXA，在工具层拒绝无执行支撑的结果并拦截电机命令
APEXA 是先进光子源上的数据还原框架，用工具层代码约束语言模型智能体的工具调用。