用时序逻辑监控工具 Agent:MonPoly 标出 71.8% STAC 攻击链,但溯源检查被一行注入骗过 94%–99%
研究者把 AgentDojo、STAC 和 R-Judge 已记录的轨迹转成事件流,用未经修改的 MonPoly 监控器离线回放,检验度量一阶时序逻辑(MFOTL)能否作为工具型 LLM Agent 的可复用护栏。五条通用义务在 STAC 上标出 71.8% 的攻击链、在 AgentDojo 上标出 70.1% 的成功攻击,但同时命中 29.3% 的正常运行,原因是这些语料几乎不记录审批、也从不记录时间戳,历史相关义务退化为风险动作类型识别。在轨迹带有关系上下文时,把转账收款人或邮件收件人绑定到此前结构化记录中的溯源义务能提升区分度,AgentDojo 银行场景的正常触发率从 44.0% 降到 24.0%,检出率从 79.2% 降到 70.0%。作者据此提出十二字段的执法就绪轨迹 schema,并指出当前基准缺少时间戳、审批 id、会话 id、状态对和信任域等字段。
推荐理由论文用 AgentDojo、STAC、R-Judge 的已记录轨迹离线回放形式化监控,量化了时序护栏的检出率与误报代价。