# 授权风险发现：威胁路径与可证实漏洞

工作单元：W-C09；版本：2026-10-21.workunits.2；复核：2026-10-20
在授权资产范围交付可追溯风险/漏洞发现及触发、影响和证据；缺证据的假设与未覆盖范围分开。

## 当前用法
可委派风险路径搜索、受控验证和误报排除；按可证实发现接收，未发现不等于全安全。
依据：Cybench有受控攻击任务的直接实测，适合说明有限场景的执行能力；真实资产/威胁模型仍需环境与影响适配，不能从钓鱼产品推导通用核查。
来源状态：active
本站记录：本次核查公开资料与任务契约，未在本站运行目标任务或新增模型试次。

条件：
- 提供隔离副本、版本/依赖、日志/配置、可重放输入及正常行为，不在授权外目标验证。
- 定义需证实的输入→路径→影响与严重性条件，允许输出待证/误报排除；避免把理论可能写成已入侵。

## 请求与范围
冻结资产/接口/代码、身份、访问范围与禁止动作，给关键数据/业务目标和关注威胁。
结果是发现/风险判断，不包含修复、告警队列结案或事件遏制。威胁分析可交可反驳路径，已验证漏洞须给真实触发依据。

## 输入
- 资产与授权：冻结资产/接口/代码、身份、访问范围与禁止动作，给关键数据/业务目标和关注威胁。
- 验证环境：提供隔离副本、版本/依赖、日志/配置、可重放输入及正常行为，不在授权外目标验证。
- 发现接收：定义需证实的输入→路径→影响与严重性条件，允许输出待证/误报排除；避免把理论可能写成已入侵。

## 交付物
- 带位置/资产、触发前提和影响的发现/威胁路径
- 可重放或严格静态推导的证据、反例与误报排除
- 风险优先级、未查/不可验证范围及修复验证所需接口

## 验收
1. 发现沿真实路径成立
   方法：沿输入/身份到影响核对，静态发现给完整依赖前提；隔离重放与正常负例区分。
   拒收：仅泛化风险标签或把普通登录失败说成入侵。
2. 范围与影响相称
   方法：核对版本、身份和数据/权限后果，保留反证与不适用条件。
   拒收：靶场可利用就称生产一定可利用。
3. 结果可接续
   方法：另一接收者能重放/检查，发现与偏好/待证分开，修复或处置另接任务。
   拒收：报告只有告警摘要，没有触发和证据。


## 具体例子
输入：租户读取接口疑似越权，需确定真实数据访问路径。
预期产物：两身份/数据对照、触发到影响证据、修复接收条件。
失败：仅根据函数名报越权，未核对实际鉴权链。

## 工作重组
以前：分析师分开查资产、读代码、提出假设和手动复现。
现在：Agent可动态追上下文、构造隔离输入并据反证修正，独立接收者核对影响与边界。
保留：
- 确定资产授权、业务影响与风险接受，批准有影响验证；不自动合并到整改/处置完成。
新增：
- 另一接收者能重放/检查，发现与偏好/待证分开，修复或处置另接任务。

## 人的责任与失败接管
确定资产授权、业务影响与风险接受，批准有影响验证；不自动合并到整改/处置完成。
缺环境或证据时交待证假设与具体所需材料；不越权或破坏证据求证。

## 尚待补足
- 在授权隔离资产中混入已知缺陷与正常替代，让Agent交可重放发现和排除，独立检查范围/误报/影响。

## 职业与团队下一步
安全风险与漏洞核查
带位置/资产、触发前提和影响的发现/威胁路径
在授权隔离资产中混入已知缺陷与正常替代，让Agent交可重放发现和排除，独立检查范围/误报/影响。
/explore?purpose=career&domain=computing
Cybench有受控攻击任务的直接实测，适合说明有限场景的执行能力；真实资产/威胁模型仍需环境与影响适配，不能从钓鱼产品推导通用核查。
Agent可动态追上下文、构造隔离输入并据反证修正，独立接收者核对影响与边界。
在授权隔离资产中混入已知缺陷与正常替代，让Agent交可重放发现和排除，独立检查范围/误报/影响。
/explore?purpose=team&domain=computing

## 证据与关系
- Cybench v4：https://arxiv.org/abs/2408.08926v4
  定位：Abstract；任务环境与agent scaffolds；公开 2024-08-15；v4修订2025-04-12；核查 2026-10-20；复查 2027-01-20
  支持：有直接安全任务实验。
  未覆盖：任务族、历史模型与靶场条件限定；不声称实际系统已被检查。
- NIST SP800-61r3：https://csrc.nist.gov/pubs/sp/800/61/r3/final
  定位：Table2 ID.RA-01/03/04/05；Table3 检测、分析、处置与恢复；公开 2025-04；核查 2026-10-20；复查 2027-01-20
  支持：提供威胁建模、攻击面/路径与影响分析的接收方法。
  未覆盖：风险管理建议，不是模型完成威胁建模的成绩。


## 任务级判断与证据
采用方式：分阶段接收
从证据到建议：Cybench有受控攻击任务的直接实测，适合说明有限场景的执行能力；真实资产/威胁模型仍需环境与影响适配，不能从钓鱼产品推导通用核查。
当前可用性：mixed；公开靶场可检查；目标资产/代码与验证权限另备，不包含钓鱼或生产响应服务。
- Cybench：https://cybench.github.io/
  论文v4与具体challenge镜像/版本固定；公开靶场；仅隔离授权目标与自备模型

### Cybench在命令可执行的隔离CTF中观察到Agent解决部分完整任务；这是受控攻击任务证据，不能直接评价企业防守。
依据身份：外部报告结果；状态：active
- Cybench v4：https://arxiv.org/abs/2408.08926v4
  定位：Abstract；agent scaffolds与unguided tasks；关系：partial
  支持：有直接安全任务实验。
  限制：任务族、历史模型与靶场条件限定；不声称实际系统已被检查。
  核查：2026-10-20；来源状态：active
配置：v4：40个CTF、4竞赛、8模型与多脚手架；有/无子任务提示分开，本文不转用分数。
适用限制：任务族、历史模型与靶场条件限定；不声称实际系统已被检查。

### 可以委派授权发现/验证任务，但以实际路径、前提、影响和反证接收，不将CTF结果外推完整企业安全。
依据身份：有条件的编辑推断；状态：active
- Cybench v4：https://arxiv.org/abs/2408.08926v4
  定位：任务环境与unguided task边界；关系：partial
  支持：受控执行提供邻近验证依据。
  限制：真实威胁/漏洞仍需目标输入和独立影响核验。
  核查：2026-10-20；来源状态：active
适用限制：真实威胁/漏洞仍需目标输入和独立影响核验。

### NIST将资产漏洞、内外威胁、潜在影响与攻击向量/攻击面/横向路径纳入风险识别；这些方法可用于检查威胁路径交付是否具有明确前提和影响。
依据身份：工具与方法依据；状态：active
- NIST SP800-61r3：https://csrc.nist.gov/pubs/sp/800/61/r3/final
  定位：Table2：ID.RA-01、ID.RA-03、ID.RA-04、ID.RA-05；关系：method
  支持：提供威胁建模、攻击面/路径与影响分析的接收方法。
  限制：风险管理建议，不是模型完成威胁建模的成绩。
  核查：2026-10-20；来源状态：active
适用限制：资产/信任边界与威胁输入需实际核实；文档方法不证明AI遗漏率。

## 情境变化
### 威胁与攻击路径
输入变化：结果为资产/信任边界/攻击前提与风险路径，不一定可执行利用。
判断变化：可交可反驳路径，未验证部分明确列出。
验收变化：核对资产/身份/边界、成立前提、反证与影响优先级。
### 授权漏洞验证
输入变化：候选缺陷可在隔离目标重放。
判断变化：以触发/真实影响接收，修复另交W-C29或W-C01。
验收变化：版本/身份/输入、正反例、证据位置与误报排除。

研究前沿：受控CTF和可执行环境已有研究；本资产的隐含依赖、真实攻击分布与未知漏洞查全率没有直接成绩。
下一项验证：在授权隔离资产中混入已知缺陷与正常替代，让Agent交可重放发现和排除，独立检查范围/误报/影响。
未来改判信号：
- 新资产/输入下有效发现可复验且误报确认时间可控，可扩大相近核查。
- 越范围验证、把待证当已利用或严重漏报时收窄采用。

## 与本单元直接关联的进展
尚未收录与本单元直接关联的新进展。当前用法依据本页的方法与验收资料，不能套用同领域其他任务的成果。

领域背景与未来情景：/explore?purpose=understand&domain=computing


## 工具与采用佐证