用时序逻辑监控工具 Agent
提出基于 MonPoly 的时序逻辑监控,离线检出工具智能体危险动作链
这篇论文对工具调用大语言模型智能体的安全监控进行了形式化时序验证研究。
另有 1033 篇论文还没打上分类标签,暂不在筛选结果里。
提出基于 MonPoly 的时序逻辑监控,离线检出工具智能体危险动作链
这篇论文对工具调用大语言模型智能体的安全监控进行了形式化时序验证研究。
提出 A-VIP,将购物意图绑定到支付授权以阻断商户文本操控
提出 IEC 协议与 IntAct,定位并修复工具调用执行路径的静默篡改
提出 APEX,在执行边界以授权契约拦截智能体间接提示注入
完整解读提出 VAL 框架并用确认门与参数沙箱约束高风险工具调用
完整解读提出 Cooldown Landmines 跨租户冷却干扰攻击并设计租户隔离
提出 OATS,用确定性解析器在运行时治理技能动作
提出 STAR-Guard 双层防御缓解长程智能体遗忘安全约束
提出 COBRA 双 LLM 架构,防御计算机使用智能体的分支转向攻击
提出 Approval Token 绑定编程智能体的审批与执行
提出 CAVA,把异构智能体运行时事件规范成可哈希动作并绑定审批与回执
CAVA 是给异构智能体运行时用的动作语义层,用来回答“被批准和被审计的到底是哪一个动作”。
提出多层监控网关 ClawSentry,拦截恶意技能供应链与上下文注入
ClawSentry 是挂在智能体运行时之外的安全监督网关,用来同时盖住 skill 执行的多个生命周期边界,并把已被拒绝的效果记到会话里。
提出 SkillGuard,用可达性切断污染后通往禁止状态的技能调用
完整解读提出 PACE,在工具调用前对 Agent 做路径隔离与效果授权
PACE 是面向工具调用型 LLM 智能体的运行时调解:当准入证据无法区分会改变行为的规格时,不在出口站点上撤销调解,而在最后一次工具调用前同时检查表示出的影响路径和请求权限。
提出有状态策略引擎 Sapien,拦截被劫持智能体的越权工具调用
Sapien 是面向通用 AI 智能体的有状态策略引擎:执行前把用户提示词译成任务策略,运行时只放行该策略承认的工具调用序列。
提出契约约束的工具调用修复协议,在执行前拦截非法补丁
完整解读提出 FLOWSEAL,在工具边界以信息流控制阻断智能体隐私泄露
提出 VAC,用真实操作参数与来源隔离保护智能体浏览器确认
完整解读提出工具智能体的状态攻击 DART 与预执行防御 SAGE