分析与理论arXiv 2610.04914
研究提出 monitorability disposition 指标
量化大推理模型主动自报误行为并接受监控的意愿
- arXiv
- 2610.04914
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 测试
- DeepSeek-V4-Pro、DeepSeek-V4-Flash、gpt-oss-120b 等 4 个
摘要大推理模型缺乏自报意愿，偏好宽容通道并掩盖严重度，需专门对齐。
- 分析与理论arXiv 2609.12841
Trace2ATT&CK：基于图的 eBPF 内核遥测到 MITRE ATT&CK 映射方法
提出 Trace2ATT&CK，用溯源图把内核遥测映射到 ATT&CK
- arXiv
- 2609.12841
- 发表
- 层
- 应用层
- 场景
- LLM 应用
- 测试
- deepseek-r1-distill-qwen-32b、gpt-oss-20b、gpt-oss-120b 等 8 个
- 组件RAG
摘要Trace2ATT&CK 把 eBPF 溯源命令图交给本地 LLM/RAG，在 Atomic Red Team 上映射 ATT&CK。
Trace2ATT&CK 是一条从 Linux 内核遥测到 MITRE ATT&CK 排序候选的端到端流水线，面向已经划定的攻击窗口，而不是异常检测或 CTI 报告。
- 分析与理论arXiv 2609.27234
CELLAUDIT：审计 AI 智能体发现细胞模型中的输入使用声明
提出 CellAudit，审计智能体发现的细胞模型是否使用声明输入
- arXiv
- 2609.27234
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 测试
- DeepSeek (deepseek-v41)、CellScientist、AIDE 等 8 个
摘要CellAudit 把输入使用声明从源码追到拟合贡献，并说明高分不必等于使用了扰动。
CellAudit 为智能体发现的细胞响应模型增加一层输入使用证伪：源码是否消费注册输入、拟合预测是否依赖它、该依赖是否改善对观测响应的预测。
- 分析与理论arXiv 2609.07162
论文：LLM 安全监控的监督缺口并非能力问题
界定单迹监控对 2-safety 超性质的可检测前沿与监督缺口
- arXiv
- 2609.07162
- 发表
- 层
- 应用层
- 测试
- DeepSeek-chat、Llama-3.1-8B、Mistral-24B 等 9 个
摘要单迹监督的上界由 TV 决定。
论文测量单迹安全监控相对 2-safety 超性质能看见多少：跨租户泄漏、觉察到被评估、策略性表现不佳都由两次执行之差定义，一条轨迹装不下判定。
- 分析与理论arXiv 2609.34572
论文提出 Nudgeability：推理模型会跟随置信信号却不追踪自身能力
提出 Nudgeability，测量推理模型跟随信心信号调整工具委派的对准程度
- arXiv
- 2609.34572
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 测试
- DeepSeek-V4-Pro、Qwen3-4B、Qwen3-8B 等 11 个
- 组件推理链
已经到底了