用时序逻辑监控工具 Agent:MonPoly 标出 71.8% STAC 攻击链,但溯源检查被一行注入骗过 94%–99%
提出基于MonPoly的时序逻辑监控,离线检出工具智能体危险动作链
这篇论文对工具调用大语言模型智能体的安全监控进行了形式化时序验证研究。
另有 3 篇论文还没打上分类标签,暂不在筛选结果里。
提出基于MonPoly的时序逻辑监控,离线检出工具智能体危险动作链
这篇论文对工具调用大语言模型智能体的安全监控进行了形式化时序验证研究。
提出A-VIP,将购物意图绑定到支付授权以阻断商户文本操控
提出IEC协议与IntAct,定位并修复工具调用执行路径的静默篡改
提出APEX,在执行边界以授权契约拦截智能体间接提示注入
APEX 针对集成 Tools、MCP 与 Skills 的 LLM 智能体面临的间接提示注入威胁,提出将防御收敛至动作与输出最终交付的执行边界。
提出企业级智能体检测系统ADR,检测提示注入与恶意MCP
提出multi-CaMeL,在多智能体调用边界隔离可信指令与不可信数据
提出VAL框架并用确认门与参数沙箱约束高风险工具调用
提出PAA路径对齐归因,审计编程智能体边界动作前的分段提示注入
本研究针对长流程智能体在执行任务时面临的分阶段间接提示注入威胁,提出了在动作生效前进行拦截的边界动作审计框架与路径对齐归因方法。
提出OATS,用确定性解析器在运行时治理技能动作
提出STAR-Guard双层防御缓解长程智能体遗忘安全约束
提出HACKTRACE用生成状态检测并抑制代码奖励作弊
提出COBRA双LLM架构,防御计算机使用智能体的分支转向攻击
提出TACIT,读取冻结隐藏状态以检测智能体有害轨迹
提出Approval Token绑定编程智能体的审批与执行
提出SecOPD同策略蒸馏微调,降低模型对自适应提示注入的顺从
评测智能体记忆软撤回是否生效,并提出陈旧检索防护
提出DART,用去噪表征转移检测并干预多轮智能体攻击
论文提出了一种针对大语言模型智能体多轮安全风险的轻量级运行时防御框架DART。
提出FLOWSEAL,在工具边界以信息流控制阻断智能体隐私泄露
红队评估编码智能体的阻断监视器,并提出Auto Mode++加固
提出CoER,用对抗共进化与精炼训练智能体抵御自适应间接提示注入