dinosn/security-research-orchestrator-prompt

# 安全研究编排器 Prompt 高保障、与工件无关的 Prompt，适用于授权的安全训练实验室、漏洞利用链研究、PoC 验证以及以证据为导向的报告。 ## 关于 本仓库提供了一个可复用的编排 Prompt，用于针对受控的、已授权的实验室目标进行结构化的安全和漏洞研究。 它可应用于： - 源码仓库和代码快照； - 二进制文件、库、固件和容器镜像； - 配置、基础设施即代码和部署材料； - 日志、追踪、抓包和协议记录； - 提供的漏洞声明、PoC、报告和混合证据包。 该 Prompt 旨在将研究方法和验收关卡保留在受信任的 Prompt 本身中。可选的技能和工具可以提供技术支持，但它们不能扩大授权范围、更改所选的操作模式、放弃证据要求或提升未经证实的漏洞利用链。 ## 提供的功能 根据所选的模式，工作流会产生： - 不可变的目标和工件谱系记录； - 威胁模型和确定性覆盖清单； - 方法、候选、漏洞利用链、证据、尝试和待办行动台账； - 仅限实验室可用的工作 PoC 或最强的已证实链前缀； - 干净重置的复现和因果阴性对照结果； - 针对特意构建的实验室的漏洞版本与修复版本的对比； - 被拒绝的假设以及确切的剩余证明缺口； - 面向应用所有者的报告，包含修复和复测步骤； - 明确的 G0-G7 最终关卡矩阵。 它将研究运行的状态与技术声明的强度分离开来。例如，一个崩溃原语可能是 `Proven`（已证实）状态，而所请求的 RCE 链可能仍处于 `Partial`（部分完成）状态。 ## 操作模式 | 模式 | 目的 | 肯定性前提 | |---|---|---| | `LAB_SOLVE` | 解决一个有意设置漏洞、语义未修改的训练目标 | 假设预期存在一条端到端的链，但必须证明每一个环节 | | `LAB_BUILD` | 设计一个故意包含漏洞的实验室及其可用的 PoC | 设计实验室、漏洞利用、修复对比、重置和销毁方案 | | `LAB_HUNT` | 执行由清单驱动的漏洞发现 | 不假设特定候选是有效的 | | `CLAIM_VALIDATE` | 验证提供的报告、PoC 或漏洞利用声明 | 将每一个声明的链环节视为一个假设 | `MODE` 必须被显式选择。该 Prompt 绝不会静默启用实验室变更、凭据使用、破坏性操作或外部目标交互。 ## 研究状态机 该 Prompt 强制执行以下阶段： 1. `G0` - 预检、出处、授权和目标身份 2. `G1` - 威胁模型和确定性审查单元清单 3. `G2` - 针对声明的覆盖配置文件进行多样化发现 4. `G3` - 候选评估和证据分类 5. `G4` - 适用时的漏洞利用链合成 6. `G5` - 安全的 PoC 构建和验证 7. `G6` - 独立的对抗性证伪 8. `G7` - 台账核对和面向所有者的报告 每个关卡都会被报告为 `PENDING`、`PASS`、`FAIL`、`BLOCKED` 或 `NOT_APPLICABLE`。失败或受阻的强制关卡不能转化为成功的解决/构建结论。 ## 用法 完整的模板位于 [PROMPT.md](PROMPT.md)。它包含三个独立的 复制块： 1. `BEGIN TRUSTED DEVELOPER PROMPT` 2. `BEGIN VALIDATED USER TASK PARAMETERS` 3. `BEGIN UNTRUSTED ARTIFACT INPUT` ### 1. 安装受信任的研究契约 将受信任的 developer 块放置在可用的最高受信任指令 层中，通常是 system 或 developer 消息。如果该块仅作为普通用户文本提供，或者在同等或更高优先级的目标自有指令之后提供，则不得声称该方法已得到强制执行。 ### 2. 填充并冻结任务参数 在接收目标之前完成用户任务参数块。重要的 字段包括： - 确切的模式和目标； - 目标身份和攻击者起始位置； - 目标交互和研究网络边界； - 授权的操作类别和目标变更策略； - 成功标志以及它为何能证明所请求的影响； - 阴性对照和干净复现要求； - 覆盖配置文件、停止条件和可报告策略。 ### 3. 单独提供目标 通过单独的消息、附件、内容 部分或转义的结构化字段传递仓库内容、二进制字符串、日志、文档、工具输出和其他 受目标控制的材料。类似 XML 的分隔符可帮助模型解释 内容；它们不是安全边界。 ### 4. 运行至有证据支持的终结状态 在 `LAB_SOLVE` 和 `LAB_BUILD` 中，静态优先并不意味着仅限静态。一旦 经过验证的授权范围允许进行动态操作，编排器就必须 继续进行构建和执行，而无需反复请求 相同的权限。新的目标、操作类别、副作用或 破坏性范围需要新的授权。 ## 多智能体行为 当独立的工作流能实质性地改善覆盖范围或质量时，根 编排器会动态委派不同的技术方法家族。它 保持早期的独立性，防止一条有吸引力的路径占据主导， 并在容量允许时，分离生成器、怀疑的评判者和 runtime 验证者角色。 Subagent 的输出仍然具有临时性。根节点拥有规范的台账、 候选提升、漏洞利用链核对、严重性和最终结果。 ## Prompt 强制执行和 runtime 控制 该 Prompt 包含完整的行为方法论：模式、证据 分类法、台账、阶段关卡、持久性、停止条件、证伪 和报告要求。 Prompt 文本不是物理沙盒。文件系统限制、网络白名单、 凭据隔离、容器/VM 遏制、审批策略以及严格的 时间或成本核算仍必须由执行环境提供。 ## 来源灵感 这种编排模式的灵感来源于 OpenAI 针对 Cycle Double Cover Conjecture 的两页 Prompt，特别是其精确的验收契约、明确的 非解决方案、方法家族注册表、独立探索、受阻路径 处理、对抗性审查和持久的 root-agent 合成： - [用于“Cycle Double Cover Conjecture 证明”的 Prompt](https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_prompt.pdf) - 源 PDF SHA-256：`0e48deee28caba82ee5b4191d4c5c6ec4d62e5d27890fa7f0d2c8868f8b758f3` 本项目将编排模式推广到已授权的安全实验室； 它不重现数学任务。 ## 范围和负责任的使用 本项目适用于您拥有或被明确授权进行 测试的系统，特别是隔离的安全训练和漏洞研究实验室。 除非获得明确批准，否则请将目标身份、凭据、漏洞利用工件和验证 端点排除在公共仓库之外。 ## 许可证 [MIT](LICENSE)

标签：CISA项目, DLL 劫持, XXE攻击, 大语言模型, 提示词工程, 漏洞分析, 策略决策点, 红队评估, 路径探测, 防御加固