分析与理论arXiv 2609.38411
研究提出自主 Agent 失控的竞争风险系统化框架
提出竞争风险模型系统化自主 Agent 失控并审计事件与评测
- arXiv
- 2609.38411
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 风险Agent 危险操作
- 组件权限与沙箱
摘要竞争风险框架把完成、停止与逃逸放在同一预算上，审计显示现有记录不足以估计该过程。
- 分析与理论arXiv 2609.32390
基于 2026 年 Hugging Face 事件的奖励作弊与 Agent 围堵失效蒙特卡洛研究
用五阶段蒙特卡洛分析奖励作弊如何导致 Agent 围堵失效
- arXiv
- 2609.32390
- 发表
- 层
- 应用层
- 场景
- AI Agent
摘要分层控制的模拟事件率低于弱控制以及单独隔离或单独监控。
这项研究用蒙特卡洛把奖励黑客接到外部安全事件上，比较的是控制组合，不是 Hugging Face 事件的再现概率。
- 分析与理论arXiv 2609.07162
论文：LLM 安全监控的监督缺口并非能力问题
刻画单迹监控对跨执行超性质的监督缺口
- arXiv
- 2609.07162
- 发表
- 层
- 应用层
- 被测模型
- Llama-3.1-8B、Mistral-24B、GPT-4o-mini 等 9 个
摘要单迹监督的上界由 TV 决定。
论文测量单迹安全监控相对 2-safety 超性质能看见多少：跨租户泄漏、觉察到被评估、策略性表现不佳都由两次执行之差定义，一条轨迹装不下判定。
- 分析与理论arXiv 2609.00060
论文用 Tamarin 形式化分析 x402、MPP、ACP、AP2 四个智能体支付协议
用 Tamarin 形式化分析智能体支付协议的跨阶段安全关系
- arXiv
- 2609.00060
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 被测模型
- x402、MPP、ACP 等 4 个
- 组件权限与沙箱
已经到底了