# 公开职业资料比较：信息安全分析 / 密码研究与工程 比较工作、要求与 AI 影响，不计算个人匹配分。个人背景由用户自己的 Agent 使用。 # 信息安全分析 职业；职业资料版本 2026-10-21.careers.2；核查 2026-10-20 识别和降低信息系统风险，建立检测、控制及事件响应。 渗透测试、应用安全、SOC等为不同专长；具体授权和责任随组织变化。 本页按职责提供公开参照；地域、职级和准入以目标组织的现行要求另核。 名称/别名：信息安全、网络安全、安全工程师、安全分析师、SOC分析师、应用安全 来源状态：active ## 职业工作范围 按本职业主要交付组织工作范围；多个目标可以由同一结果包接收。职责来源用于核对工作定义，AI采用、工具可得性和实际表现按各项具体证据判断。这里不是所有地区与细分岗位的完整清单。 ### 风险与威胁分析 产物：资产、攻击路径、威胁模型及优先级 内容覆盖：documented；以该应用的具体产物与独立接收条件呈现目标；生产威胁、组织控制和未被建模攻击不能由CTF成绩覆盖。 任务应用：/careers/security-analyst#work-security-analyst-deliverable-1 变体：威胁与攻击路径 ### 授权安全核查 产物：可验证发现、利用条件与影响说明 内容覆盖：documented；以该应用的具体产物与独立接收条件呈现目标；靶场与真实目标输入/依赖不同，未知漏洞查全率未知。 任务应用：/careers/security-analyst#work-security-analyst-deliverable-2 变体：授权漏洞验证；权限与持久数据 ### 安全控制交付 产物：配置、修复、访问和有效性验证 内容覆盖：documented；以该应用的具体产物与独立接收条件呈现目标；策略存在不等于能抵御所有攻击，实际权限与组织政策另核。 任务应用：/careers/security-analyst#work-security-analyst-deliverable-3 变体：访问与配置；代码与检测控制 ### 检测与告警研判 产物：检测规则、误报漏报及调查证据 内容覆盖：documented；调查结论与规则/检测资产分别接收，原RCT不用于宣称规则或事件处置有效。 任务应用：/careers/security-analyst#work-security-analyst-deliverable-4；/careers/security-analyst#work-security-analyst-detection-rule 变体：钓鱼队列；身份端点及关联告警；代码与检测控制；检测规则与值班噪声 ### 事件响应 产物：取证线索、遏制恢复和时间线 内容覆盖：documented；以该应用的具体产物与独立接收条件呈现目标；钓鱼/CTF不能直接证明企业全事件响应，缺日志须保留未证假设。 任务应用：/careers/security-analyst#work-security-analyst-deliverable-5 变体：端点与身份事件；跨资产与业务恢复 ### 安全治理支持 产物：控制缺口、教育及整改跟踪 内容覆盖：documented；以该应用的具体产物与独立接收条件呈现目标；合规认定和风险接受需具体法规/组织依据，不能从工具或报告自动得出。 任务应用：/careers/security-analyst#work-security-analyst-deliverable-6 变体：访问与配置；整改与运行负担；知识库与自助支持 范围来源：https://www.onetonline.org/link/summary/15-1212.00 当前范围以外： - 未经授权目标测试 - 密码构造研究另有职业 - 法律认证与监管结论另核 待补： - 需按专长区分权限、攻击面与实际影响 - 漏洞生成成功不代表企业风险治理完成 ## 主要工作与 AI 当前变化 以下条件评估与局部证据分别标示，不表示整项职业已验证。 ### 资产威胁与风险路径 交付有前提/反证/影响的威胁路径，实际验证和未验证风险分开。 交付物：资产/信任边界与风险路径；成立前提、反证、影响与优先级 判断依据：有条件的编辑推断、工具与方法依据 当前变化：可委派资产/路径搜索与证据整合，按真实边界/假设接收；不从CTF推断全面威胁模型。 - 授权风险发现：威胁路径与可证实漏洞：/work-units/W-C09?version=2026-10-21.workunits.2 信息安全分析在资产威胁与风险路径中采用授权风险发现：威胁路径与可证实漏洞；核对资产/身份/入口到影响、可反驳前提与遗漏；需要受控验证时另以漏洞发现结果接收。（partial；workunits/work-unit/W-C09@2026-10-21.workunits.2） 应用范围：信息安全分析在资产威胁与风险路径中采用授权风险发现：威胁路径与可证实漏洞；核对资产/身份/入口到影响、可反驳前提与遗漏；需要受控验证时另以漏洞发现结果接收。 AI工作组织：Agent可动态追上下文、构造隔离输入并据反证修正，独立接收者核对影响与边界。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：Cybench有受控攻击任务的直接实测，适合说明有限场景的执行能力；真实资产/威胁模型仍需环境与影响适配，不能从钓鱼产品推导通用核查。 当前可用性：mixed；公开靶场可检查；目标资产/代码与验证权限另备，不包含钓鱼或生产响应服务。 - Cybench：https://cybench.github.io/ 论文v4与具体challenge镜像/版本固定；公开靶场；仅隔离授权目标与自备模型 ### 可以委派授权发现/验证任务，但以实际路径、前提、影响和反证接收，不将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遗漏率。 ## 情境变化 ### 威胁与攻击路径 输入变化：结果为资产/信任边界/攻击前提与风险路径，不一定可执行利用。 判断变化：可交可反驳路径，未验证部分明确列出。 验收变化：核对资产/身份/边界、成立前提、反证与影响优先级。 研究前沿：受控CTF和可执行环境已有研究；本资产的隐含依赖、真实攻击分布与未知漏洞查全率没有直接成绩。 下一项验证：在授权隔离资产中混入已知缺陷与正常替代，让Agent交可重放发现和排除，独立检查范围/误报/影响。 未来改判信号： - 新资产/输入下有效发现可复验且误报确认时间可控，可扩大相近核查。 - 越范围验证、把待证当已利用或严重漏报时收窄采用。 接收/拒收： - 发现沿真实路径成立：沿输入/身份到影响核对，静态发现给完整依赖前提；隔离重放与正常负例区分。 拒收：仅泛化风险标签或把普通登录失败说成入侵。 - 范围与影响相称：核对版本、身份和数据/权限后果，保留反证与不适用条件。 拒收：靶场可利用就称生产一定可利用。 - 结果可接续：另一接收者能重放/检查，发现与偏好/待证分开，修复或处置另接任务。 拒收：报告只有告警摘要，没有触发和证据。 失败处理：缺环境或证据时交待证假设与具体所需材料；不越权或破坏证据求证。 本站记录：本次核查公开资料与任务契约，未在本站运行目标任务或新增模型试次。 尚未覆盖：资产/依赖缺失与未知威胁仍需专业范围挑战。 验证方法：核对资产/身份/入口到影响、可反驳前提与遗漏；需要受控验证时另以漏洞发现结果接收。 ### 授权漏洞发现 交付可证实触发到影响的发现及误报排除，不含修复/事件结案。 交付物：带位置/版本/前提的发现；隔离复现/静态链与正常反例 判断依据：外部报告结果、有条件的编辑推断、可检查产物 当前变化：可让Agent追路径并构造受控复现，接收有效发现；无发现不等于没有漏洞。 - 授权风险发现：威胁路径与可证实漏洞：/work-units/W-C09?version=2026-10-21.workunits.2 信息安全分析在授权漏洞发现中采用授权风险发现：威胁路径与可证实漏洞；基线/身份/输入/依赖固定，另一接收者可重放或核对静态链，排除误报和偏好。（partial；workunits/work-unit/W-C09@2026-10-21.workunits.2） - 变更审查：交付可定位、可复现的问题：/work-units/W-C03?version=2026-10-21.workunits.2 信息安全分析在授权漏洞发现中采用变更审查：交付可定位、可复现的问题；基线/身份/输入/依赖固定，另一接收者可重放或核对静态链，排除误报和偏好。（partial；workunits/work-unit/W-C03@2026-10-21.workunits.2） 应用范围：信息安全分析在授权漏洞发现中采用授权风险发现：威胁路径与可证实漏洞；基线/身份/输入/依赖固定，另一接收者可重放或核对静态链，排除误报和偏好。 AI工作组织：Agent可动态追上下文、构造隔离输入并据反证修正，独立接收者核对影响与边界。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：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 适用限制：真实威胁/漏洞仍需目标输入和独立影响核验。 ## 情境变化 ### 授权漏洞验证 输入变化：候选缺陷可在隔离目标重放。 判断变化：以触发/真实影响接收，修复另交W-C29或W-C01。 验收变化：版本/身份/输入、正反例、证据位置与误报排除。 研究前沿：受控CTF和可执行环境已有研究；本资产的隐含依赖、真实攻击分布与未知漏洞查全率没有直接成绩。 下一项验证：在授权隔离资产中混入已知缺陷与正常替代，让Agent交可重放发现和排除，独立检查范围/误报/影响。 未来改判信号： - 新资产/输入下有效发现可复验且误报确认时间可控，可扩大相近核查。 - 越范围验证、把待证当已利用或严重漏报时收窄采用。 接收/拒收： - 发现沿真实路径成立：沿输入/身份到影响核对，静态发现给完整依赖前提；隔离重放与正常负例区分。 拒收：仅泛化风险标签或把普通登录失败说成入侵。 - 范围与影响相称：核对版本、身份和数据/权限后果，保留反证与不适用条件。 拒收：靶场可利用就称生产一定可利用。 - 结果可接续：另一接收者能重放/检查，发现与偏好/待证分开，修复或处置另接任务。 拒收：报告只有告警摘要，没有触发和证据。 失败处理：缺环境或证据时交待证假设与具体所需材料；不越权或破坏证据求证。 本站记录：本次核查公开资料与任务契约，未在本站运行目标任务或新增模型试次。 应用范围：信息安全分析在授权漏洞发现中采用变更审查：交付可定位、可复现的问题；基线/身份/输入/依赖固定，另一接收者可重放或核对静态链，排除误报和偏好。 AI工作组织：AI按风险搜上下文、提出发现并构造验证；人集中裁决影响和优先级，程序检查明确约束。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：审查搜索可以并行整包进行，但误报与漏报代价不同；每条发现有反证路径，才能从候选收敛为阻断。独立复现比同一Agent对自己补丁再次解释更可信。 当前可用性：open-implementation；ReviewBench语料/参考和离线工具公开；需另配审查Agent、裁判及目标仓库，本站未执行。 - ReviewBench：https://github.com/review-bench/ReviewBench 2026-10-20公开仓库HEAD 2c34a68f73f6473a97cf35bb82baf07e9906404e；实际运行另固定依赖/镜像/模型；公开语料；模型与LLM裁判需自备账户/预算 ### 公开ReviewBench提供真实PR及人工参考发现，可用来校准审查的有效发现和误报；参考集合本身仍不是缺陷全集。 依据身份：可检查产物；状态：active - ReviewBench 官方语料与评测实现：https://github.com/review-bench/ReviewBench 定位：golden findings与offline review；关系：direct 支持：可检查参考发现、版本和裁判方法。 限制：没有运行其模型或目标补丁；不能把未报问题当作安全证明。 核查：2026-10-20；来源状态：active 适用限制：没有运行其模型或目标补丁；不能把未报问题当作安全证明。 ### 可委派独立Agent追调用链、提出可验证发现，再用触发输入/不变量淘汰误报；按真实影响和覆盖接收，不按发现数量。 依据身份：有条件的编辑推断；状态：active - ReviewBench 官方语料与评测实现：https://github.com/review-bench/ReviewBench 定位：golden findings与severity/category；关系：partial 支持：支持把审查结果变成可核查问题。 限制：跨库状态、业务约束和未知漏洞须补上下文；无人发现不等于不存在。 核查：2026-10-20；来源状态：active 适用限制：跨库状态、业务约束和未知漏洞须补上下文；无人发现不等于不存在。 ## 情境变化 ### 权限与持久数据 输入变化：包含租户隔离、金额、迁移或删除数据。 判断变化：先检查高影响不变量并构造反例；仅lint全绿不接收。 验收变化：沿调用方与存储核对权限边界、重试/回退和副作用。 研究前沿：已有多语言真实PR参考资产和审查系统；参考标注覆盖有限，语义裁判有误差。 下一项验证：用历史真实缺陷、合法替代与无缺陷改动组成盲测；发现后独立复现，记录漏报、误报和确认时间。 未来改判信号： - 在盲测真实PR中有效发现增加且确认/误报时间可控，可考虑扩大相近输入范围。 - 关键权限/数据缺陷漏报，或依赖裁判产生大量不可复现发现，应收窄或暂停相应采用。 接收/拒收： - 每条问题可重现或严格定位：重放触发输入或沿真实调用链验证 拒收：只说“可能有性能风险”，没有路径和触发条件。 - 结论区分缺陷与偏好：用需求和既有行为核对，允许合理替代实现 拒收：把个人命名偏好报成阻断缺陷。 - 审查没有靠被审补丁自证：检查关键测试/规则是否被改弱，独立核验高影响点 拒收：Agent删掉失败测试后，审查只引用CI全绿。 失败处理：缺上下文时明确未审区域和所需文件；不可复现的疑点保留为待证，不阻断为已证实缺陷。 本站记录：本站未测本单元漏报与误报率。 尚未覆盖：CTF仅邻近执行研究，生产资产/未知漏洞查全率未知。 验证方法：基线/身份/输入/依赖固定，另一接收者可重放或核对静态链，排除误报和偏好。 ### 安全控制变更 交付生效的代码/配置/访问控制，原风险受限而合法业务仍成立。 交付物：控制补丁/配置及生效差异；风险/正常/绕过/回退结果 判断依据：工具与方法依据、有条件的编辑推断 当前变化：可委派限定控制实现和获准部署，按独立风险/正常/绕过及回退接收，不靠全拒绝或关告警。 - 安全控制变更：风险降低且合法业务仍成立：/work-units/W-C29?version=2026-10-21.workunits.2 信息安全分析在安全控制变更中采用安全控制变更：风险降低且合法业务仍成立；原风险重放、角色/对象正反矩阵、旁路/漂移与业务/资源回归，核对版本和回退状态。（partial；workunits/work-unit/W-C29@2026-10-21.workunits.2） 应用范围：信息安全分析在安全控制变更中采用安全控制变更：风险降低且合法业务仍成立；原风险重放、角色/对象正反矩阵、旁路/漂移与业务/资源回归，核对版本和回退状态。 AI工作组织：Agent可联合实现、部署到授权环境并重测，程序检查正反矩阵，责任人核验风险与业务取舍。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：NIST53A把检查对象与测试结合，kubectl提供可执行授权查询；AI整合控制变更属于方法基础上的迁移，不是独立性能成绩。 当前可用性：mixed；有公开权限检查工具；代码、网络与其他控制需目标配置/独立测试接口，没有本站部署。 - kubectl auth can-i：https://kubernetes.io/docs/reference/kubectl/generated/kubectl_auth/kubectl_auth_can-i/ 实际K8s/kubectl/角色版本冻结；公开工具；需目标集群授权，不能据此声称有权修改 ### NIST53A以检查、访谈与测试及明确评估对象核实控制；实际允许/拒绝行为应独立验证。 依据身份：工具与方法依据；状态：active - NIST SP800-53A r5：https://csrc.nist.gov/pubs/sp/800/53/a/r5/final 定位：assessment methods and objects；关系：method 支持：控制验收方法基础。 限制：专业方法不是模型成绩。 核查：2026-10-20；来源状态：active 适用限制：专业方法不是模型成绩。 ### kubectl auth can-i公开提供授权检查，可为K8s角色/资源矩阵提供一项生效证据。 依据身份：工具与方法依据；状态：active - kubectl auth can-i：https://kubernetes.io/docs/reference/kubectl/generated/kubectl_auth/kubectl_auth_can-i/ 定位：command synopsis/examples；关系：method 支持：实际权限查询接口。 限制：单一权限查询不排除所有业务/网络绕过。 核查：2026-10-20；来源状态：active 适用限制：单一权限查询不排除所有业务/网络绕过。 ### 可委派限定控制变更，以独立风险/正常/绕过/回退结果接收，其他控制类型须配置对应测试。 依据身份：有条件的编辑推断；状态：active - NIST SP800-53A r5：https://csrc.nist.gov/pubs/sp/800/53/a/r5/final 定位：assessment planning/testing；关系：partial 支持：可检查对象/测试支持目标适配。 限制：无本组织AI控制有效率。 核查：2026-10-20；来源状态：active 适用限制：无本组织AI控制有效率。 ## 情境变化 ### 访问与配置 输入变化：结果是角色/网络/系统配置生效。 判断变化：按具体允许/拒绝矩阵和业务回归接收。 验收变化：实际身份/对象/旁路、漂移和回退。 ### 代码与检测控制 输入变化：结果是漏洞修复或规则生效。 判断变化：组合W-C01/C12的复现与验收方法，不继承其他工具成绩。 验收变化：原风险、合法输入、误报漏报/绕过及规则版本。 研究前沿：有公开控制评估方法和权限检查接口；目标控制、绕过及持续漂移没有本站AI试验。 下一项验证：选一项访问/配置风险，冻结允许/拒绝矩阵，让Agent交变更，再独立测试原风险、合法路径、绕过及回退。 未来改判信号： - 新角色/对象变化下风险控制和合法业务仍可复验，可扩大同类变更。 - 依靠全拒绝、扩大其他权限或绕过未测时拒绝接收。 接收/拒收： - 控制达到具体目标：独立重放原路径/策略，直接查询真实权限或业务状态。 拒收：仅配置文件存在，没有生效检查。 - 正常与绕过都检查：同角色/对象的正反矩阵、替代路径、错误配置和资源副作用控制。 拒收：全拒绝让风险消失，合法业务也坏了。 - 变更可维护：核对版本/审计与回退后状态；用漂移反例验证持续复核入口。 拒收：临时手工改动不在版本中，重建后控制丢失。 失败处理：验证失败回退或交明确未生效原因；不以关闭告警或禁用全部功能充作整改。 本站记录：本次核查公开资料与任务契约，未在本站运行目标任务或新增模型试次。 尚未覆盖：具体策略/业务取舍和非K8s控制需相应测试，不继承权限工具以外效果。 验证方法：原风险重放、角色/对象正反矩阵、旁路/漂移与业务/资源回归，核对版本和回退状态。 ### 告警调查结论 交付邮件/身份/端点告警的证据、真假/待证判定与升级包，不把判定写成已遏制。 交付物：逐告警证据/结论/优先级；缺证据与升级包 判断依据：外部报告结果、有条件的编辑推断 当前变化：可委派关联/排序/反证；钓鱼问卷研究只是辅助研判条件，先本地校准真假/待证与确认时间。 - 告警调查结论：证据、判定与可继续的升级包：/work-units/W-C30?version=2026-10-21.workunits.2 信息安全分析在告警调查结论中采用告警调查结论：证据、判定与可继续的升级包；原消息/日志/身份/时间线与正常负例交叉核对，保留矛盾；实际规则/处置状态另记。（partial；workunits/work-unit/W-C30@2026-10-21.workunits.2） 应用范围：信息安全分析在告警调查结论中采用告警调查结论：证据、判定与可继续的升级包；原消息/日志/身份/时间线与正常负例交叉核对，保留矛盾；实际规则/处置状态另记。 AI工作组织：Agent自主关联证据、排序和构造反证，程序重放已知控制；调查结论独立于外部处置。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：钓鱼RCT提供特定队列直接研究，NIST61r3给检测/分析与响应边界；其他告警不借钓鱼实验冒充同配置成绩。 当前可用性：mixed；商业钓鱼工具受许可/角色/容量约束；本包没有进入租户。其他告警需目标日志/调查接口。 - Phishing Triage Agent：https://learn.microsoft.com/en-us/defender-xdr/phishing-triage-agent 2026-10-20核查文档；租户实际部署版本需记录；需相应Microsoft安全产品权限/许可与SCU容量 ### 钓鱼RCT在标准化材料/问卷中的邮件队列比较排序和解释对专业分析师的影响，并另作resolve-benign反事实；不是持续生产邮箱无人处置。 依据身份：外部报告结果；状态：active - Phishing Triage Agent 随机对照试验：https://arxiv.org/abs/2511.13860v1 定位：v1 §1—§3 methodology/behavior/counterfactuals；关系：partial 支持：直接邮件研判研究，保留实际载体与干预身份。 限制：原语料零FP/FN后注入合成判定错误，跳过良性协议为反事实；不能推断真实误报分布或无人遏制。 核查：2026-10-20；来源状态：active 配置：v1 §2：招募167名专业分析师，13低分回答被剔除；93封原语料中抽25邮件队列，在Qualtrics以标准化只读材料判定。Control52随机无AI、Aware56优先队列+判定/解释、Blind59同排序但不告知AI；原语料Agent零FP/FN，另造判定/解释错误，每队列1SFP+1SFN。resolve-benign为由任务结果组合的反事实分析。 适用限制：原语料零FP/FN后注入合成判定错误，跳过良性协议为反事实；不能推断真实误报分布或无人遏制。 相关进展（本条判断）： - 钓鱼队列随机试验报告人加Agent研判改善：/explore?purpose=understand&domain=computing&window=all#P-C-PHISH-RCT 首次公开 2025-11-17 ### 可用NIST61r3的检测/分析与证据要求组织其他告警调查，以独立证据和待证/升级条件接收。 依据身份：有条件的编辑推断；状态：active - NIST SP800-61r3：https://csrc.nist.gov/pubs/sp/800/61/r3/final 定位：Table3 detection/analysis；关系：partial 支持：专业方法支持调查结果分界。 限制：非邮件任务没有由RCT直接证明的AI表现。 核查：2026-10-20；来源状态：active 适用限制：非邮件任务没有由RCT直接证明的AI表现。 ## 情境变化 ### 钓鱼队列 输入变化：邮件/URL/附件材料与本地真假基率。 判断变化：按本地错误控制校准，不照搬问卷反事实收益。 验收变化：真实/合成错误解释、恶意/良性/待证、排序和确认成本。 ### 身份端点及关联告警 输入变化：结果是跨来源调查结论，非邮件分类。 判断变化：NIST方法迁移，先给可证伪证据链；不继承钓鱼成绩。 验收变化：时间/身份/资产对应、替代解释、缺日志与升级包。 研究前沿：邮件材料/问卷的排序与解释效应已有试验；原语料无自然FP/FN、合成错误和反事实协议限制迁移，不能证明实际邮箱长期无人研判。 下一项验证：用本地脱敏真假/待证告警盲测，核对逐条证据、漏报/误报与确认时间，再决定优先级和复核范围。 未来改判信号： - 新队列基率/对抗条件下证据与误报漏报仍可控，可扩大辅助研判。 - 合成控制或真实错误被盲目附和、证据不足仍关单时收窄范围。 接收/拒收： - 判定由证据支持：原始消息/身份/时间线与资产交叉核对，正常负例和替代解释挑战结论。 拒收：仅品牌词/风险标签就认恶意。 - 未知和错误可见：用本地真/假与有意错误解释检查自动同意，保留缺日志/矛盾与查不到部分。 拒收：Agent判良性就无条件关单。 - 输出可接续且不冒充处置：独立接收者能重查证据和升级，结论/规则/执行状态分开记录。 拒收：给出恶意判定便写资产已经隔离/清除。 失败处理：缺证据输出待证及具体请求，不用恶意内容授予工具权限，不越过调查范围执行隔离。 本站记录：本次核查公开资料与任务契约，未在本站运行目标任务或新增模型试次。 尚未覆盖：钓鱼RCT载体、合成错误与反事实不能外推持续邮箱/全SOC。 验证方法：原消息/日志/身份/时间线与正常负例交叉核对，保留矛盾；实际规则/处置状态另记。 ### 安全事件处置与恢复 交付证据保全、有效遏制/清除、合法业务恢复与未解决风险。 交付物：证据/时间线与实际动作审计；持续性/侧向影响、用户/数据恢复与观察结果 判断依据：工具与方法依据、有条件的编辑推断 当前变化：可委派证据整合及获准可逆处置，以保全、攻击持续性与业务恢复联合接收，高影响动作明确授权。 - 安全事件处置：证据保全、遏制与业务恢复：/work-units/W-C31?version=2026-10-21.workunits.2 信息安全分析在安全事件处置与恢复中采用安全事件处置：证据保全、遏制与业务恢复；检查原证据完整、处置审计、攻击/旧凭据持续性、侧向影响及合法用户/数据恢复，不能以告警消失结案。（partial；workunits/work-unit/W-C31@2026-10-21.workunits.2） 应用范围：信息安全分析在安全事件处置与恢复中采用安全事件处置：证据保全、遏制与业务恢复；检查原证据完整、处置审计、攻击/旧凭据持续性、侧向影响及合法用户/数据恢复，不能以告警消失结案。 AI工作组织：Agent可联合证据/状态、执行明确授权动作并持续验证，程序读真实终态；未知或超权限及时升级。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：NIST61r3明确检测、响应、恢复及事件证据要求，Defender公开实际处置/调查包接口；这是工具/专业方法上的AI迁移，不是自主处置成功率。 当前可用性：mixed；有条件商业响应工具；其他EDR/SIEM/身份平台需实际接口，本文没有自动执行或复现。 - Defender for Endpoint响应接口：https://learn.microsoft.com/en-us/defender-endpoint/respond-machine-alerts 2026-10-20核查；目标设备/产品/角色版本另固定；商业产品、设备加入及响应权限/许可；未在本站启用 ### NIST61r3将检测、响应/遏制/根除与恢复联系，并要求按组织政策保全事件证据；终态不能只有告警关闭。 依据身份：工具与方法依据；状态：active - NIST SP800-61r3：https://csrc.nist.gov/pubs/sp/800/61/r3/final 定位：Table3；证据保留与响应/恢复；关系：method 支持：支持联合处置结果和证据边界。 限制：专业建议不是AI实验，也不代替具体组织授权。 核查：2026-10-20；来源状态：active 适用限制：专业建议不是AI实验，也不代替具体组织授权。 ### Defender for Endpoint公开设备隔离、调查包等响应接口与条件，可承接获准动作和证据。 依据身份：工具与方法依据；状态：active - Defender for Endpoint设备响应操作：https://learn.microsoft.com/en-us/defender-endpoint/respond-machine-alerts 定位：device response actions/investigation package；关系：method 支持：有实际产品动作入口。 限制：需目标产品/角色/许可；工具存在不证明事件已处置。 核查：2026-10-20；来源状态：active 适用限制：需目标产品/角色/许可；工具存在不证明事件已处置。 ### 可以委派受限事件处置循环，但以证据、攻击持续性及合法业务恢复联合接收，不能继承CTF/钓鱼研判成绩。 依据身份：有条件的编辑推断；状态：active - NIST SP800-61r3：https://csrc.nist.gov/pubs/sp/800/61/r3/final 定位：Response/Recovery；关系：partial 支持：明确专业终态使验证可执行。 限制：真实事件和高影响动作需目标环境/授权。 核查：2026-10-20；来源状态：active 适用限制：真实事件和高影响动作需目标环境/授权。 ## 情境变化 ### 端点与身份事件 输入变化：涉及端点隔离、账号/凭据与用户恢复。 判断变化：先明确证据/隔离/恢复边界再执行获准动作。 验收变化：持续性、旧凭据、合法用户/数据和端点恢复。 ### 跨资产与业务恢复 输入变化：多系统、网络或第三方参与，可能超现有权限。 判断变化：可分阶段交结果，缺责任方/日志不能完整结案。 验收变化：证据时间一致、侧向影响、业务探针、沟通/升级与残余风险。 研究前沿：有公开响应接口与专业方法；CTF和钓鱼问卷均不证明本端点/身份事件已安全处置，没有本站真实攻击试验。 下一项验证：在授权演练环境放入已知事件和正常业务，先保全证据再执行获准隔离/恢复，独立验证持续性、数据/用户与审计。 未来改判信号： - 新事件条件下证据、遏制与业务恢复都被独立复验，可扩大受限自动动作。 - 证据丢失、攻击持续或业务未恢复时拒绝完整结案。 接收/拒收： - 证据未被处置破坏：按组织要求保存原始证据、时间/完整性/访问和动作记录，区分可逆隔离与不可逆清除。 拒收：删消息/日志清理痕迹后宣告解决。 - 攻击与影响受控：在授权环境检查原攻击路径/持续性、侧向行为与隔离边界，不以告警消失作证。 拒收：停全部服务但攻击凭据仍有效。 - 合法业务真的恢复：从合法用户/数据状态验证恢复，审计旧凭据/端点与后续观察；残余风险/未恢复明示。 拒收：只让服务启动，用户/数据未恢复或再入侵未检查。 失败处理：证据/权限不足先保留状态与升级包；不能破坏性试探或把调查结论写成已处置。 本站记录：本次核查公开资料与任务契约，未在本站运行目标任务或新增模型试次。 尚未覆盖：NIST/EDR是方法与工具，不是自主响应成绩；缺权限/证据需升级。 验证方法：检查原证据完整、处置审计、攻击/旧凭据持续性、侧向影响及合法用户/数据恢复，不能以告警消失结案。 ### 治理支持与整改教育 组合实际控制验证、整改跟踪和用户材料，给控制缺口/行动/教育反馈，不造治理总包。 交付物：控制/整改结果和未完成差距；角色化教育材料与真实反馈 判断依据：工具与方法依据、有条件的编辑推断 当前变化：可委派材料/差距整合，实际控制按C29验收，整改按C21实证闭环，教育按C24真实用户任务检验。 - 安全控制变更：风险降低且合法业务仍成立：/work-units/W-C29?version=2026-10-21.workunits.2 信息安全分析在治理支持与整改教育中采用安全控制变更：风险降低且合法业务仍成立；抽核政策/资产→控制/测试，行动到实际验证，独立用户使用材料；计划、实施、有效分开。（partial；workunits/work-unit/W-C29@2026-10-21.workunits.2） - 事故复盘与整改闭环：结论可追溯、行动可验证：/work-units/W-C21?version=2026-10-21.workunits.2 信息安全分析在治理支持与整改教育中采用事故复盘与整改闭环：结论可追溯、行动可验证；抽核政策/资产→控制/测试，行动到实际验证，独立用户使用材料；计划、实施、有效分开。（partial；workunits/work-unit/W-C21@2026-10-21.workunits.2） - 系统采用与用户支持材料：让使用者完成真实任务：/work-units/W-C24?version=2026-10-21.workunits.2 信息安全分析在治理支持与整改教育中采用系统采用与用户支持材料：让使用者完成真实任务；抽核政策/资产→控制/测试，行动到实际验证，独立用户使用材料；计划、实施、有效分开。（partial；workunits/work-unit/W-C24@2026-10-21.workunits.2） 应用范围：信息安全分析在治理支持与整改教育中采用安全控制变更：风险降低且合法业务仍成立；抽核政策/资产→控制/测试，行动到实际验证，独立用户使用材料；计划、实施、有效分开。 AI工作组织：Agent可联合实现、部署到授权环境并重测，程序检查正反矩阵，责任人核验风险与业务取舍。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：NIST53A把检查对象与测试结合，kubectl提供可执行授权查询；AI整合控制变更属于方法基础上的迁移，不是独立性能成绩。 当前可用性：mixed；有公开权限检查工具；代码、网络与其他控制需目标配置/独立测试接口，没有本站部署。 - kubectl auth can-i：https://kubernetes.io/docs/reference/kubectl/generated/kubectl_auth/kubectl_auth_can-i/ 实际K8s/kubectl/角色版本冻结；公开工具；需目标集群授权，不能据此声称有权修改 ### NIST53A以检查、访谈与测试及明确评估对象核实控制；实际允许/拒绝行为应独立验证。 依据身份：工具与方法依据；状态：active - NIST SP800-53A r5：https://csrc.nist.gov/pubs/sp/800/53/a/r5/final 定位：assessment methods and objects；关系：method 支持：控制验收方法基础。 限制：专业方法不是模型成绩。 核查：2026-10-20；来源状态：active 适用限制：专业方法不是模型成绩。 ### 可委派限定控制变更，以独立风险/正常/绕过/回退结果接收，其他控制类型须配置对应测试。 依据身份：有条件的编辑推断；状态：active - NIST SP800-53A r5：https://csrc.nist.gov/pubs/sp/800/53/a/r5/final 定位：assessment planning/testing；关系：partial 支持：可检查对象/测试支持目标适配。 限制：无本组织AI控制有效率。 核查：2026-10-20；来源状态：active 适用限制：无本组织AI控制有效率。 ## 情境变化 ### 访问与配置 输入变化：结果是角色/网络/系统配置生效。 判断变化：按具体允许/拒绝矩阵和业务回归接收。 验收变化：实际身份/对象/旁路、漂移和回退。 研究前沿：有公开控制评估方法和权限检查接口；目标控制、绕过及持续漂移没有本站AI试验。 下一项验证：选一项访问/配置风险，冻结允许/拒绝矩阵，让Agent交变更，再独立测试原风险、合法路径、绕过及回退。 未来改判信号： - 新角色/对象变化下风险控制和合法业务仍可复验，可扩大同类变更。 - 依靠全拒绝、扩大其他权限或绕过未测时拒绝接收。 接收/拒收： - 控制达到具体目标：独立重放原路径/策略，直接查询真实权限或业务状态。 拒收：仅配置文件存在，没有生效检查。 - 正常与绕过都检查：同角色/对象的正反矩阵、替代路径、错误配置和资源副作用控制。 拒收：全拒绝让风险消失，合法业务也坏了。 - 变更可维护：核对版本/审计与回退后状态；用漂移反例验证持续复核入口。 拒收：临时手工改动不在版本中，重建后控制丢失。 失败处理：验证失败回退或交明确未生效原因；不以关闭告警或禁用全部功能充作整改。 本站记录：本次核查公开资料与任务契约，未在本站运行目标任务或新增模型试次。 应用范围：信息安全分析在治理支持与整改教育中采用事故复盘与整改闭环：结论可追溯、行动可验证；抽核政策/资产→控制/测试，行动到实际验证，独立用户使用材料；计划、实施、有效分开。 AI工作组织：Agent自主合并时间线、提出反证与行动，查实际工单/补丁状态并更新；执行整改另交工程任务。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：AIOpsLab记录动作与状态，支持可回放事件方法；从受控轨迹迁移到真实复盘是编辑判断。复盘结果应使下一次验证可执行，而非只是更流畅叙事。 当前可用性：mixed；框架公开；目标云权限、遥测与可回退环境由实际任务提供，不要求先接生产。 - AIOpsLab：https://github.com/microsoft/AIOpsLab 2026-10-20公开仓库HEAD ccf08d0d1d5fa5b30f120e2e8549662d44411b35；实际运行另固定依赖/镜像/模型；开源；独立集群/命名空间、遥测与模型API自备 ### 可把公开事故试验床的动作/状态轨迹方法迁移为复盘材料，但原因和整改效果须由真实证据及反证验证。 依据身份：有条件的编辑推断；状态：active - AIOpsLab 官方框架：https://github.com/microsoft/AIOpsLab 定位：Session trace/results/evaluator；关系：partial 支持：轨迹和结果关联提供方法基础。 限制：没有目标真实复盘的AI成绩，不把模拟轨迹当组织事实。 核查：2026-10-20；来源状态：active 适用限制：没有目标真实复盘的AI成绩，不把模拟轨迹当组织事实。 ## 情境变化 ### 整改与运行负担 输入变化：需要跟踪复发、值班和配置漂移措施。 判断变化：按真实结果记录实施/验证，不自动关单。 验收变化：行动判据、版本/负载复验、复发和工作负担观察。 研究前沿：公开事故框架记录实际动作、遥测与结果，使事件时间线及恢复假设可以重放检查；把它迁移为复盘/行动材料是编辑方法判断，目前未核实AI减少本团队复发或值班负担的直接研究。 下一项验证：选一个日志完整事故，把一个错误根因与未实施行动混入材料，检查Agent是否保留证据冲突并把行动连到真实验证。 未来改判信号： - 整改的独立复验与后续观察证实复发/运行负担降低，可考虑扩大相近输入范围。 - 根因无法反证、行动只关单未验证或同类事故复发，应收窄或暂停相应采用。 接收/拒收： - 原因有因果链而非联想：把每项关键推论连到事件与状态；可行时重放/移除条件挑战，保留不能证实部分。 拒收：最近一次发布就被写成根因。 - 行动解决对应问题：逐项核对行动怎样防止/发现/减轻故障，有可验收结果而非“加强意识”。 拒收：只加一场培训，把系统性故障视作已整改。 - 完成状态真实：读取代码/配置/试验/工单验收证据及复发/负担记录，区分计划、实施和验证。 拒收：工单关闭就推断措施有效或事故不再发生。 失败处理：证据缺失保留多假设和采集改进，不造单一原因；行动未验证就明确标注未完成。 本站记录：本次只核查公开材料和任务契约；未在本站运行该任务、工具或模型。 应用范围：信息安全分析在治理支持与整改教育中采用系统采用与用户支持材料：让使用者完成真实任务；抽核政策/资产→控制/测试，行动到实际验证，独立用户使用材料；计划、实施、有效分开。 AI工作组织：Agent按角色生成可执行材料、在环境重放并根据真实反馈修订；稳定步骤可自动版本化，使用效果仍从真实任务观察。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：公司环境提供跨工具任务方法，可用于检查指引步骤；采用/培训收益没有本任务直接AI实测，因此不从办公基准外推。具体任务完成与反馈能使这一交付可验证。 当前可用性：open-implementation；材料可直接用普通文档工具制作；浏览器用于在目标系统重放指引，真实用户与系统权限需另提供。 - Playwright MCP：https://github.com/microsoft/playwright-mcp 2026-10-20公开仓库HEAD ab6d67cbf8b619338f096980806fdbe29432cc4d；实际运行另固定依赖/镜像/模型；公开接口；目标系统/用户身份和独立接收者另备 ### 可把公开公司工作环境中的可执行任务方法用于检查支持材料是否引导到真实结果，但培训/采用收益需真实使用反馈。 依据身份：有条件的编辑推断；状态：active - TheAgentCompany 官方环境：https://github.com/TheAgentCompany/TheAgentCompany 定位：result-based evaluation/task environment；关系：partial 支持：可执行任务方法提供邻近参照。 限制：不证明本教材学习效果或真实同事反馈。 核查：2026-10-20；来源状态：active 适用限制：不证明本教材学习效果或真实同事反馈。 ## 情境变化 ### 知识库与自助支持 输入变化：重复问题需要可维护解决路径。 判断变化：生成材料后以真实恢复/升级结果迭代。 验收变化：版本、查询匹配、失败分流和用户独立完成。 研究前沿：公开公司环境可执行多角色任务并按结果检查，可用于验证指引步骤是否可操作；它没有直接展示本系统用户培训或长期采用效果。当前可委派材料制作/环境重放，真实独立用户完成是下一项证据。 下一项验证：选一项目标用户原先常失败的任务，冻结目标环境；让未看制作过程的接收者照材料执行，记录完成、阻塞、时间和修订后结果。 未来改判信号： - 不同目标用户可独立按材料完成任务，支持返工与升级负担下降，可考虑扩大相近输入范围。 - 满意度/材料数量掩盖实际任务失败，或系统更新使指引过期，应收窄或暂停相应采用。 接收/拒收： - 步骤在目标环境可执行：独立接收者按材料完成任务，核对真实结果，不靠作者解释救场。 拒收：只有截图说明，关键权限/异常步骤无法执行。 - 缺口定位正确：观察失败到底是材料、权限、产品缺陷还是前置知识；修订后重测。 拒收：把系统错误归咎用户，或把同意度评分当学会任务。 - 资料可维护且可访问：记录版本、角色/语言、异常/恢复与升级条件，按键盘/缩放等目标条件查使用。 拒收：系统升级后旧步骤继续分发且无异常入口。 失败处理：没有真实反馈不虚构满意/解决率；若问题来自产品或权限则转具体修复任务并保留支持路径。 本站记录：本次只核查公开材料和任务契约；未在本站运行该任务、工具或模型。 尚未覆盖：合规认定与风险接受需真实组织/法规依据，关单/文章数不能证明治理效果。 验证方法：抽核政策/资产→控制/测试，行动到实际验证，独立用户使用材料；计划、实施、有效分开。 ### 检测规则与误报漏报 交付可执行检测/信号规则和校准材料，区分规则质量与每次调查结论。 交付物：检测规则/采集与版本；故障/正常/对抗/缺测控制结果 判断依据：工具与方法依据、有条件的编辑推断 当前变化：可委派规则实现与回放，按误报/漏报和可行动信号接收，长期分布另观察。 - 安全控制变更：风险降低且合法业务仍成立：/work-units/W-C29?version=2026-10-21.workunits.2 信息安全分析在检测规则与误报漏报中采用安全控制变更：风险降低且合法业务仍成立；已知攻击/正常与绕过/遥测缺失回放，测检测延迟、噪声、旁路与升级路径。（partial；workunits/work-unit/W-C29@2026-10-21.workunits.2） - 运行信号交付：SLI/SLO、检测与可行动告警：/work-units/W-C20?version=2026-10-21.workunits.2 信息安全分析在检测规则与误报漏报中采用运行信号交付：SLI/SLO、检测与可行动告警；已知攻击/正常与绕过/遥测缺失回放，测检测延迟、噪声、旁路与升级路径。（partial；workunits/work-unit/W-C20@2026-10-21.workunits.2） 应用范围：信息安全分析在检测规则与误报漏报中采用安全控制变更：风险降低且合法业务仍成立；已知攻击/正常与绕过/遥测缺失回放，测检测延迟、噪声、旁路与升级路径。 AI工作组织：Agent可联合实现、部署到授权环境并重测，程序检查正反矩阵，责任人核验风险与业务取舍。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：NIST53A把检查对象与测试结合，kubectl提供可执行授权查询；AI整合控制变更属于方法基础上的迁移，不是独立性能成绩。 当前可用性：mixed；有公开权限检查工具；代码、网络与其他控制需目标配置/独立测试接口，没有本站部署。 - kubectl auth can-i：https://kubernetes.io/docs/reference/kubectl/generated/kubectl_auth/kubectl_auth_can-i/ 实际K8s/kubectl/角色版本冻结；公开工具；需目标集群授权，不能据此声称有权修改 ### NIST53A以检查、访谈与测试及明确评估对象核实控制；实际允许/拒绝行为应独立验证。 依据身份：工具与方法依据；状态：active - NIST SP800-53A r5：https://csrc.nist.gov/pubs/sp/800/53/a/r5/final 定位：assessment methods and objects；关系：method 支持：控制验收方法基础。 限制：专业方法不是模型成绩。 核查：2026-10-20；来源状态：active 适用限制：专业方法不是模型成绩。 ### 可委派限定控制变更，以独立风险/正常/绕过/回退结果接收，其他控制类型须配置对应测试。 依据身份：有条件的编辑推断；状态：active - NIST SP800-53A r5：https://csrc.nist.gov/pubs/sp/800/53/a/r5/final 定位：assessment planning/testing；关系：partial 支持：可检查对象/测试支持目标适配。 限制：无本组织AI控制有效率。 核查：2026-10-20；来源状态：active 适用限制：无本组织AI控制有效率。 ## 情境变化 ### 代码与检测控制 输入变化：结果是漏洞修复或规则生效。 判断变化：组合W-C01/C12的复现与验收方法，不继承其他工具成绩。 验收变化：原风险、合法输入、误报漏报/绕过及规则版本。 研究前沿：有公开控制评估方法和权限检查接口；目标控制、绕过及持续漂移没有本站AI试验。 下一项验证：选一项访问/配置风险，冻结允许/拒绝矩阵，让Agent交变更，再独立测试原风险、合法路径、绕过及回退。 未来改判信号： - 新角色/对象变化下风险控制和合法业务仍可复验，可扩大同类变更。 - 依靠全拒绝、扩大其他权限或绕过未测时拒绝接收。 接收/拒收： - 控制达到具体目标：独立重放原路径/策略，直接查询真实权限或业务状态。 拒收：仅配置文件存在，没有生效检查。 - 正常与绕过都检查：同角色/对象的正反矩阵、替代路径、错误配置和资源副作用控制。 拒收：全拒绝让风险消失，合法业务也坏了。 - 变更可维护：核对版本/审计与回退后状态；用漂移反例验证持续复核入口。 拒收：临时手工改动不在版本中，重建后控制丢失。 失败处理：验证失败回退或交明确未生效原因；不以关闭告警或禁用全部功能充作整改。 本站记录：本次核查公开资料与任务契约，未在本站运行目标任务或新增模型试次。 应用范围：信息安全分析在检测规则与误报漏报中采用运行信号交付：SLI/SLO、检测与可行动告警；已知攻击/正常与绕过/遥测缺失回放，测检测延迟、噪声、旁路与升级路径。 AI工作组织：Agent读服务定义和历史，生成/调整采集和告警，程序重放控制；负责人决定SLO和升级取舍。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：公开故障/负载试验床能校准信号，但无法替组织确定风险容忍。把指标和告警本身当产物，可避免Agent靠“监控正常”自证。 当前可用性：mixed；框架公开；目标云权限、遥测与可回退环境由实际任务提供，不要求先接生产。 - AIOpsLab：https://github.com/microsoft/AIOpsLab 2026-10-20公开仓库HEAD ccf08d0d1d5fa5b30f120e2e8549662d44411b35；实际运行另固定依赖/镜像/模型；开源；独立集群/命名空间、遥测与模型API自备 ### AIOpsLab的故障、负载和评估接口可用于校准运行信号与检测，规则正确性应以独立故障/正常控制检查。 依据身份：工具与方法依据；状态：active - AIOpsLab 官方框架：https://github.com/microsoft/AIOpsLab 定位：Detection tasks/Workload/Evaluator；关系：method 支持：提供可构造症状与结果的环境。 限制：方法不证明目标SLO恰当或长期告警可靠。 核查：2026-10-20；来源状态：active 适用限制：方法不证明目标SLO恰当或长期告警可靠。 ## 情境变化 ### 检测规则与值班噪声 输入变化：已有遥测但告警漏报或过多。 判断变化：按可行动症状重做规则校准。 验收变化：故障/正常/抖动/采集缺失与升级路径。 研究前沿：AIOpsLab提供检测任务、故障/负载和评估接口，可用正常与故障重放验证告警；公开接口没有替本团队选择用户SLI/SLO，也未给本规则长期漏报/误报成绩。 下一项验证：选一个关键用户路径和历史故障，冻结口径，用正常/故障/遥测缺失控制验证规则，再在观察窗记录行动与噪声。 未来改判信号： - 真实新故障被及时检测而正常波动与缺测被正确区分，可考虑扩大相近输入范围。 - 用户失败未进分母、告警噪声升高或采集缺失被写成健康，应收窄或暂停相应采用。 接收/拒收： - 信号代表用户目标：把分母、窗口和路径与真实请求对照，检查依赖/采样遗漏。 拒收：只测机器存活，用户付款失败却SLI健康。 - 规则可检测可拒绝：重放已知故障与正常波动，记录误报/漏报、检测延迟和采集失败。 拒收：只加一条能报警的规则，没有正常负样本。 - 告警可行动：另一接收者按规则和指引定位受影响路径，核对升级/静默/恢复及版本。 拒收：告警没有对象、含义或动作，导致反复无效值班。 失败处理：目标不明确先给可选口径及影响；采集缺失应暴露为缺测，不能写成零错误。 本站记录：本次只核查公开材料和任务契约；未在本站运行该任务、工具或模型。 尚未覆盖：控制通过不等于未知攻击查全或长期告警有效。 验证方法：已知攻击/正常与绕过/遥测缺失回放，测检测延迟、噪声、旁路与升级路径。 ## 与工作关联的进展 ### 钓鱼队列随机试验报告人加Agent研判改善 公开 2025-11-17 研究报告队列优先级/解释改变分析师注意力与研判表现。 支持范围：167招募、标准化只读材料/Qualtrics，25封队列源自93语料；有合成错误与反事实，非生产长期无人响应。 来源状态：active /explore?purpose=understand&domain=computing&window=all#P-C-PHISH-RCT ## 未来3–5年条件情景 未来 3–5 年（2029–2031） 未来 3–5 年是编辑条件情景，不是就业数量预测。每项均列基准、加速、受限路径和需观察的信号；职业职责来源不等于 AI 能力证据。 基准：候选发现和告警整理更自动化，验证可利用性、配置边界和响应质量更重要。 加速：若代理能在授权环境稳定复现、修复并证明风险下降，安全团队可覆盖更多系统。 受限：若对抗输入、误报和权限风险持续，自动化保留为分析与受限执行。 改判信号： - 独立复验后的真实漏洞与漏报 - 自动处置的副作用和证据完整性 ## 进入与成长的公开能力证据 本页主要提供工作与作品证据；基础课程、责任级别和中国准入尚未完成专题整理。 完整交付作品证据： - 资产、攻击路径、威胁模型及优先级；附资产/身份/入口到影响，前提、可观察反证和正常业务路径，缺资产不能算无风险。 - 可验证发现、利用条件与影响说明；附授权目标重放触发/权限/数据副作用，排除误报并保存环境、位置和影响条件。 具体地区、职级和组织要求按目标岗位核对；美国资料不自动作为中国资格要求。 ## 相邻方向及区别 - 软件质量与测试：/careers/qa-engineer.md?version=2026-10-21.careers.2 质量工程覆盖行为与质量风险；安全分析还需要攻击者、信任边界和滥用条件。 - 密码研究与工程：/careers/cryptography-researcher.md?version=2026-10-21.careers.2 密码研究关注安全构造及数学假设；安全分析关注系统中的整体风险。 ## 职业名称与分类映射 - O*NET-SOC 15-1212.00 Information Security Analysts；O*NET-SOC 2019；OnLine Updated 2026；US；exact 本记录按该职业定义组织职责；中文为编辑译名，不声明中美资格等价。；定位 Definition / Tasks ## 工作资料与来源 - 授权风险发现：威胁路径与可证实漏洞：/work-units/W-C09?version=2026-10-21.workunits.2 信息安全分析在授权漏洞发现中采用授权风险发现：威胁路径与可证实漏洞；基线/身份/输入/依赖固定，另一接收者可重放或核对静态链，排除误报和偏好。（partial；workunits/work-unit/W-C09@2026-10-21.workunits.2） - 变更审查：交付可定位、可复现的问题：/work-units/W-C03?version=2026-10-21.workunits.2 信息安全分析在授权漏洞发现中采用变更审查：交付可定位、可复现的问题；基线/身份/输入/依赖固定，另一接收者可重放或核对静态链，排除误报和偏好。（partial；workunits/work-unit/W-C03@2026-10-21.workunits.2） - 安全控制变更：风险降低且合法业务仍成立：/work-units/W-C29?version=2026-10-21.workunits.2 信息安全分析在检测规则与误报漏报中采用安全控制变更：风险降低且合法业务仍成立；已知攻击/正常与绕过/遥测缺失回放，测检测延迟、噪声、旁路与升级路径。（partial；workunits/work-unit/W-C29@2026-10-21.workunits.2） - 告警调查结论：证据、判定与可继续的升级包：/work-units/W-C30?version=2026-10-21.workunits.2 信息安全分析在告警调查结论中采用告警调查结论：证据、判定与可继续的升级包；原消息/日志/身份/时间线与正常负例交叉核对，保留矛盾；实际规则/处置状态另记。（partial；workunits/work-unit/W-C30@2026-10-21.workunits.2） - 安全事件处置：证据保全、遏制与业务恢复：/work-units/W-C31?version=2026-10-21.workunits.2 信息安全分析在安全事件处置与恢复中采用安全事件处置：证据保全、遏制与业务恢复；检查原证据完整、处置审计、攻击/旧凭据持续性、侧向影响及合法用户/数据恢复，不能以告警消失结案。（partial；workunits/work-unit/W-C31@2026-10-21.workunits.2） - 事故复盘与整改闭环：结论可追溯、行动可验证：/work-units/W-C21?version=2026-10-21.workunits.2 信息安全分析在治理支持与整改教育中采用事故复盘与整改闭环：结论可追溯、行动可验证；抽核政策/资产→控制/测试，行动到实际验证，独立用户使用材料；计划、实施、有效分开。（partial；workunits/work-unit/W-C21@2026-10-21.workunits.2） - 系统采用与用户支持材料：让使用者完成真实任务：/work-units/W-C24?version=2026-10-21.workunits.2 信息安全分析在治理支持与整改教育中采用系统采用与用户支持材料：让使用者完成真实任务；抽核政策/资产→控制/测试，行动到实际验证，独立用户使用材料；计划、实施、有效分开。（partial；workunits/work-unit/W-C24@2026-10-21.workunits.2） - 运行信号交付：SLI/SLO、检测与可行动告警：/work-units/W-C20?version=2026-10-21.workunits.2 信息安全分析在检测规则与误报漏报中采用运行信号交付：SLI/SLO、检测与可行动告警；已知攻击/正常与绕过/遥测缺失回放，测检测延迟、噪声、旁路与升级路径。（partial；workunits/work-unit/W-C20@2026-10-21.workunits.2） - Information Security Analysts：https://www.onetonline.org/link/summary/15-1212.00 O*NET / 美国劳工部职业信息网络；US；O*NET OnLine / Updated 2026 / 2026-10-20访问快照；核查 2026-10-20；状态 active 定位：职业定义、Tasks、Work Activities；不采用薪酬和学历比例 范围：美国 O*NET-SOC 职业职责参照；中文标题及导航由编辑按工作内容映射 限制：不证明中国岗位数量、准入资格或在招需求；不提供该职业的 AI 实测结论。 ## 用于自己的问题 个人适配、具体岗位判断与计划由用户自己的 Agent 结合已有材料处理。复用已知上下文，仅追问影响结论的缺口；目录不是全部选项。阅读或比较公开工作本身无需档案、固定二选一、保存记录或行动计划。 --- # 密码研究与工程 岗位方向；职业资料版本 2026-10-21.careers.2；核查 2026-10-20 研究或实现密码构造与协议，并检验其安全假设和系统使用条件。 密码研究、实现与系统集成是相邻分工；不是设计自定义加密即可成为安全方案。 本页按职责提供公开参照；地域、职级和准入以目标组织的现行要求另核。 名称/别名：密码研究、密码算法、密码工程、密码协议、密码分析 来源状态：active ## 职业工作范围 按本职业主要交付组织工作范围；多个目标可以由同一结果包接收。职责来源用于核对工作定义，AI采用、工具可得性和实际表现按各项具体证据判断。这里不是所有地区与细分岗位的完整清单。 ### 安全问题与威胁模型 产物：安全定义、攻击能力和假设；威胁模型/安全游戏或符号模型；原方案—模型—目标对照 内容覆盖：documented；对应工作：交付安全定义与攻击者模型。 任务应用：/careers/cryptography-researcher#work-cryptography-researcher-delivery-1 变体：符号协议模型；既有构造的计算安全模型 ### 密码构造与协议 产物：算法、参数和安全论证；构造/参数与安全界；完整形式开发与假设清单 内容覆盖：documented；对应工作：交付构造/协议的安全论证。 任务应用：/careers/cryptography-researcher#work-cryptography-researcher-delivery-2 变体：既有构造的计算安全模型；新构造/密码分析 ### 密码分析与反例 产物：攻击路径、复杂性及适用范围；攻击trace/程序或反例；复杂性/概率与适用范围 内容覆盖：documented；对应工作：交付有效攻击或可定位反例。 任务应用：/careers/cryptography-researcher#work-cryptography-researcher-delivery-3 变体：符号协议模型；新构造/密码分析 ### 实现与测试 产物：标准对照、测试向量和互操作证据；固定库/实现与向量/差分；互操作、错误处理与版本 内容覆盖：partial；标准库/测试/实现接收路径完整；AI集成安全为显式迁移判断，需本任务实测。 任务应用：/careers/cryptography-researcher#work-cryptography-researcher-delivery-4 变体：标准构件常规集成 ### 实现安全评估 产物：侧信道、随机性、密钥使用和泄漏风险；并发重启/轮换控制；平台泄漏诊断及覆盖限制 内容覆盖：partial；给出真实设备与状态验证路径；没有本包直接AI侧信道/密钥安全端到端结果。 任务应用：/careers/cryptography-researcher#work-cryptography-researcher-delivery-5 变体：目标硬件/侧信道 ### 系统集成与迁移 产物：协议选择、密钥生命周期和兼容验证；迁移/兼容/回退演练；key版本/协商与资源影响 内容覆盖：partial；完整集成/迁移交付与拒收已给，现实系统证据仍待；不以工具可下载作为迁移成功。 任务应用：/careers/cryptography-researcher#work-cryptography-researcher-delivery-6 变体：既有协议与密钥系统的版本迁移；后量子迁移 范围来源：https://www.onetonline.org/link/summary/15-2021.00；https://www.onetonline.org/link/summary/15-1221.00；https://www.onetonline.org/link/summary/15-1212.00 当前范围以外： - 自定义密码方案不会因可运行自动获安全认可 - 未经授权实际攻击不纳入 待补： - 密码形式模型/引理证据不覆盖AI端到端实现、key生命周期、侧信道与现场迁移。 - Shannon10月源码分解范围较v1论文更宽，需独立验证；目标平台/协议版本与标准另核。 ## 主要工作与 AI 当前变化 以下条件评估与局部证据分别标示，不表示整项职业已验证。 ### 交付安全定义与攻击者模型 把安全问题、角色/消息、查询/腐化能力与假设固定下来。 交付物：威胁模型/安全游戏或符号模型；原方案—模型—目标对照 判断依据：外部报告结果、有条件的编辑推断 当前变化：CrypFormBench有密码专属形式分析，支持模型候选与语义核对；输入安全模型仍需独立接收，不以可编译判安全。 - 密码安全论证包：威胁模型、协议与证明/攻击对照：/work-units/W-M11?version=2026-10-21.workunits.2 按符号/计算安全输入核对模型，不强制原方案是新构造或局部证明补全。（partial；workunits/work-unit/W-M11@2026-10-21.workunits.2） 应用范围：按符号/计算安全输入核对模型，不强制原方案是新构造或局部证明补全。 AI工作组织：代理可搜索中间游戏、引理和证明并响应checker；来源/安全定义与最终游戏连接独立核对，不固定所有密码任务用同一工具。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：密码专属评估和Shannon个案支持自动证明工程；它们都不能替代模型选择与部署条件。因此给代理完整论证目标，按语义/最终证明和有效攻击接收，保留未解出口。 当前可用性：mixed；公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。 - Shannon Prover：https://github.com/SkyShannonProver/shannon-prover/tree/60701dbe37ee72075e60e655a076e282efe7485e 60701dbe…；vendored EasyCrypt及locked Python；macOS/Linux、opam/Python≥3.12/uv及模型key；严格live eval需Linux+bubblewrap，未运行。 - CrypFormBench：https://github.com/Secbrain/CrypFormBench/tree/b5540654533dbb7a491ece75e50c8da67defc604 b5540654…；论文v1；公开数据/实验及多语言工具，非统一即用协议安全产品。 ### CrypFormBench专门评估密码模型解释、生成、补全、转换和修正，语法可执行与安全语义需分开看。 依据身份：外部报告结果；状态：active - CrypFormBench v1：密码形式模型能力：https://arxiv.org/html/2606.25561v1 定位：§3任务；§5评估；§6语义错误；关系：direct 支持：密码形式分析专属的能力/失败证据。 限制：不是生产代码、硬件泄漏或任意新密码安全性；历史模型/题集限定。 核查：2026-10-20；来源状态：active 配置：v1；9模型、7工具语言，符号与计算模型；任务类型及分母依论文分开，本文不把总体分当任务完成概率。 适用限制：不是生产代码、硬件泄漏或任意新密码安全性；历史模型/题集限定。 相关进展（本条判断）： - 密码模型的生成/转换开始独立于通用编码测量：/explore?purpose=understand&domain=math&window=all#P-M-CRYPFORM 首次公开 2026-06-24 ### 给出可核对安全目标后，委派完整论证候选并以模型、最终目标和攻击控制接收；代码部署另验。 依据身份：有条件的编辑推断；状态：active - CrypFormBench v1：密码形式模型能力：https://arxiv.org/html/2606.25561v1 定位：semantic alignment/error analysis；关系：adjacent 支持：模型语义失配决定验收边界。 限制：本AEAD变体为设计例，未执行。 核查：2026-10-20；来源状态：active 适用限制：本AEAD变体为设计例，未执行。 ## 情境变化 ### 符号协议模型 输入变化：秘密/认证目标与Dolev-Yao式理想化。 判断变化：可交模型/trace候选，不套计算安全证明。 验收变化：角色/消息绑定、可达性和攻击者能力，有限搜索界与无界保证分开。 ### 既有构造的计算安全模型 输入变化：对已有原语/协议定义或核对计算安全游戏、查询/腐化能力与安全界，不要求先提出新构造或仅补局部引理。 判断变化：可委派模型/游戏及论证候选，语义先核再查最终安全目标。 验收变化：假设/参数/攻击者查询、nonce/随机性和游戏跃迁逐项对应原方案；局部证明和完整安全界分开。 研究前沿：论文v1在专家给模型与引理分解下完成证明工程；10月固定源码进一步声明项目级分解搜索，属于可检实现入口，需另试验，不能冒称论文已验证更宽能力。 下一项验证：固定一个公开协议或AEAD安全游戏，隐藏参考证明，对照已知nonce复用不安全变体；独立重建全部目标及模型对应，保存未解引理和总预算。 未来改判信号： - 扩大：未见协议/游戏分解下，完整安全目标在固定攻击者模型中通过，独立密码分析一致。 - 收缩：只会补语法，漏nonce/腐化假设、改变目标或跳过最终目标；缩到固定引理补全。 接收/拒收： - 安全模型忠实：独立核对角色、密钥、nonce、消息绑定和攻击者查询/腐化能力；用已知不安全变体作为负控制，验证模型能暴露攻击。 拒收：删去重放/腐化能力使协议“安全”；加理想信道而原实现没有。 - 完整形式结果不藏未证部分：固定环境重放全部目标，核对admit/axiom/假设/solver与证明依赖；游戏跃迁和引理连接到最终目标，局部通过单列。 拒收：多个引理通过但最终安全界未证；把构造安全假设直接当最终定理。 - 攻击/反例在原模型内：重放trace/代码，检查前提、复杂性、概率、参数和预算；区分符号攻击与可实现计算攻击。 拒收：攻击需要超出允许查询或不现实时间，却写破坏目标安全级别。 - 保证与部署不混淆：核对报告只声称已证模型/参数；理论保证到代码/随机源/侧信道/密钥管理缺口必须可见。 拒收：IND-CPA证明被说成认证加密/抗侧信道；nonce重复时仍套原安全界。 失败处理：不能证明时列最小未解引理和已证范围；发现攻击保留可重放输入/trace；模型歧义先给相异解释及影响，不偷偷削弱攻击者。 本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。 尚未覆盖：攻击者/随机预言机/信道理想化会改变主张。 验证方法：核角色/密钥/nonce/消息绑定与攻击者能力，已知不安全变体必须暴露问题，防删攻击者能力求通过。 ### 交付构造/协议的安全论证 从锁定目标交付游戏跃迁、引理及完整证明，或条件性未解范围。 交付物：构造/参数与安全界；完整形式开发与假设清单 判断依据：外部报告结果、工具与方法依据、有条件的编辑推断 当前变化：ShannonProver直接展示密码证明工程；论文给定引理分解，10月源码更宽的游戏分解搜索只作当前入口声明，未继承论文成绩。 - 密码安全论证包：威胁模型、协议与证明/攻击对照：/work-units/W-M11?version=2026-10-21.workunits.2 已有方案完整游戏和新构造研究分开；不是所有构造论证都仅补固定局部引理。（partial；workunits/work-unit/W-M11@2026-10-21.workunits.2） 应用范围：已有方案完整游戏和新构造研究分开；不是所有构造论证都仅补固定局部引理。 AI工作组织：代理可搜索中间游戏、引理和证明并响应checker；来源/安全定义与最终游戏连接独立核对，不固定所有密码任务用同一工具。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：密码专属评估和Shannon个案支持自动证明工程；它们都不能替代模型选择与部署条件。因此给代理完整论证目标，按语义/最终证明和有效攻击接收，保留未解出口。 当前可用性：mixed；公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。 - Shannon Prover：https://github.com/SkyShannonProver/shannon-prover/tree/60701dbe37ee72075e60e655a076e282efe7485e 60701dbe…；vendored EasyCrypt及locked Python；macOS/Linux、opam/Python≥3.12/uv及模型key；严格live eval需Linux+bubblewrap，未运行。 - CrypFormBench：https://github.com/Secbrain/CrypFormBench/tree/b5540654533dbb7a491ece75e50c8da67defc604 b5540654…；论文v1；公开数据/实验及多语言工具，非统一即用协议安全产品。 ### ShannonProver v1在专家给定安全模型及引理级分解后自动构建EasyCrypt证明，含部署协议相关个案。 依据身份：外部报告结果；状态：active - ShannonProver v1：密码引理级形式证明：https://arxiv.org/html/2607.02847v1 定位：Abstract；evaluation/case studies；AppendixC；关系：direct 支持：明确的密码证明工程成果与输入边界。 限制：不是独立设计完整安全模型，也不是代码/物理安全证明；部分污染控制材料不公开。 核查：2026-10-20；来源状态：active 配置：arXiv2607.02847v1；专家供模型/分解；EasyCrypt checker与多分支调度；不同任务预算/可获得材料按原文，不推本例成本。 适用限制：不是独立设计完整安全模型，也不是代码/物理安全证明；部分污染控制材料不公开。 相关进展（本条判断）： - 密码引理证明工程已有EasyCrypt代理案例：/explore?purpose=understand&domain=math&window=all#P-M-SHANNON 首次公开 2026-07-03；判断变化 2026-07-03 ### 10月固定源码提供游戏/辅助引理分解搜索与完整文件检查入口，比v1论文输入范围更宽的声明需另验证。 依据身份：工具与方法依据；状态：active - Shannon Prover固定源码与项目级入口：https://github.com/SkyShannonProver/shannon-prover/blob/60701dbe37ee72075e60e655a076e282efe7485e/README.md 定位：What does Shannon automate / project-level guide；关系：direct 支持：当前实现可检查及运行入口。 限制：源码方法声明不是该宽范围已测成功率。 核查：2026-10-20；来源状态：active 适用限制：源码方法声明不是该宽范围已测成功率。 ### 给出可核对安全目标后，委派完整论证候选并以模型、最终目标和攻击控制接收；代码部署另验。 依据身份：有条件的编辑推断；状态：active - CrypFormBench v1：密码形式模型能力：https://arxiv.org/html/2606.25561v1 定位：semantic alignment/error analysis；关系：adjacent 支持：模型语义失配决定验收边界。 限制：本AEAD变体为设计例，未执行。 核查：2026-10-20；来源状态：active 适用限制：本AEAD变体为设计例，未执行。 ## 情境变化 ### 新构造/密码分析 输入变化：模型和构造都可变，可能研究新攻击。 判断变化：探索候选与反例；需要独立文献/复杂性及原模型核对。 验收变化：假设/参数/复杂性/攻击成功定义，未解不等于安全。 ### 既有构造的计算安全模型 输入变化：对已有原语/协议定义或核对计算安全游戏、查询/腐化能力与安全界，不要求先提出新构造或仅补局部引理。 判断变化：可委派模型/游戏及论证候选，语义先核再查最终安全目标。 验收变化：假设/参数/攻击者查询、nonce/随机性和游戏跃迁逐项对应原方案；局部证明和完整安全界分开。 研究前沿：论文v1在专家给模型与引理分解下完成证明工程；10月固定源码进一步声明项目级分解搜索，属于可检实现入口，需另试验，不能冒称论文已验证更宽能力。 下一项验证：固定一个公开协议或AEAD安全游戏，隐藏参考证明，对照已知nonce复用不安全变体；独立重建全部目标及模型对应，保存未解引理和总预算。 未来改判信号： - 扩大：未见协议/游戏分解下，完整安全目标在固定攻击者模型中通过，独立密码分析一致。 - 收缩：只会补语法，漏nonce/腐化假设、改变目标或跳过最终目标；缩到固定引理补全。 接收/拒收： - 安全模型忠实：独立核对角色、密钥、nonce、消息绑定和攻击者查询/腐化能力；用已知不安全变体作为负控制，验证模型能暴露攻击。 拒收：删去重放/腐化能力使协议“安全”；加理想信道而原实现没有。 - 完整形式结果不藏未证部分：固定环境重放全部目标，核对admit/axiom/假设/solver与证明依赖；游戏跃迁和引理连接到最终目标，局部通过单列。 拒收：多个引理通过但最终安全界未证；把构造安全假设直接当最终定理。 - 攻击/反例在原模型内：重放trace/代码，检查前提、复杂性、概率、参数和预算；区分符号攻击与可实现计算攻击。 拒收：攻击需要超出允许查询或不现实时间，却写破坏目标安全级别。 - 保证与部署不混淆：核对报告只声称已证模型/参数；理论保证到代码/随机源/侧信道/密钥管理缺口必须可见。 拒收：IND-CPA证明被说成认证加密/抗侧信道；nonce重复时仍套原安全界。 失败处理：不能证明时列最小未解引理和已证范围；发现攻击保留可重放输入/trace；模型歧义先给相异解释及影响，不偷偷削弱攻击者。 本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。 尚未覆盖：部分污染控制材料不公开；完整模型及部署不因引理通过自动成立。 验证方法：独立重建完整目标和依赖/假设，游戏条件/安全界与参数对应；局部引理不写主定理已证。 ### 交付有效攻击或可定位反例 在明确安全模型/参数内检验构造，给可重放路径和成本。 交付物：攻击trace/程序或反例；复杂性/概率与适用范围 判断依据：外部报告结果、有条件的编辑推断 当前变化：可委派符号/计算攻击候选和解释；未发现攻击不等于安全，实际操作须在授权环境。 - 密码安全论证包：威胁模型、协议与证明/攻击对照：/work-units/W-M11?version=2026-10-21.workunits.2 仅选形式分析/语义证据，不给现实攻击普适成功率。（partial；workunits/work-unit/W-M11@2026-10-21.workunits.2） 应用范围：仅选形式分析/语义证据，不给现实攻击普适成功率。 AI工作组织：代理可搜索中间游戏、引理和证明并响应checker；来源/安全定义与最终游戏连接独立核对，不固定所有密码任务用同一工具。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：密码专属评估和Shannon个案支持自动证明工程；它们都不能替代模型选择与部署条件。因此给代理完整论证目标，按语义/最终证明和有效攻击接收，保留未解出口。 当前可用性：mixed；公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。 - Shannon Prover：https://github.com/SkyShannonProver/shannon-prover/tree/60701dbe37ee72075e60e655a076e282efe7485e 60701dbe…；vendored EasyCrypt及locked Python；macOS/Linux、opam/Python≥3.12/uv及模型key；严格live eval需Linux+bubblewrap，未运行。 - CrypFormBench：https://github.com/Secbrain/CrypFormBench/tree/b5540654533dbb7a491ece75e50c8da67defc604 b5540654…；论文v1；公开数据/实验及多语言工具，非统一即用协议安全产品。 ### CrypFormBench专门评估密码模型解释、生成、补全、转换和修正，语法可执行与安全语义需分开看。 依据身份：外部报告结果；状态：active - CrypFormBench v1：密码形式模型能力：https://arxiv.org/html/2606.25561v1 定位：§3任务；§5评估；§6语义错误；关系：direct 支持：密码形式分析专属的能力/失败证据。 限制：不是生产代码、硬件泄漏或任意新密码安全性；历史模型/题集限定。 核查：2026-10-20；来源状态：active 配置：v1；9模型、7工具语言，符号与计算模型；任务类型及分母依论文分开，本文不把总体分当任务完成概率。 适用限制：不是生产代码、硬件泄漏或任意新密码安全性；历史模型/题集限定。 相关进展（本条判断）： - 密码模型的生成/转换开始独立于通用编码测量：/explore?purpose=understand&domain=math&window=all#P-M-CRYPFORM 首次公开 2026-06-24 ### 给出可核对安全目标后，委派完整论证候选并以模型、最终目标和攻击控制接收；代码部署另验。 依据身份：有条件的编辑推断；状态：active - CrypFormBench v1：密码形式模型能力：https://arxiv.org/html/2606.25561v1 定位：semantic alignment/error analysis；关系：adjacent 支持：模型语义失配决定验收边界。 限制：本AEAD变体为设计例，未执行。 核查：2026-10-20；来源状态：active 适用限制：本AEAD变体为设计例，未执行。 ## 情境变化 ### 符号协议模型 输入变化：秘密/认证目标与Dolev-Yao式理想化。 判断变化：可交模型/trace候选，不套计算安全证明。 验收变化：角色/消息绑定、可达性和攻击者能力，有限搜索界与无界保证分开。 ### 新构造/密码分析 输入变化：模型和构造都可变，可能研究新攻击。 判断变化：探索候选与反例；需要独立文献/复杂性及原模型核对。 验收变化：假设/参数/复杂性/攻击成功定义，未解不等于安全。 研究前沿：论文v1在专家给模型与引理分解下完成证明工程；10月固定源码进一步声明项目级分解搜索，属于可检实现入口，需另试验，不能冒称论文已验证更宽能力。 下一项验证：固定一个公开协议或AEAD安全游戏，隐藏参考证明，对照已知nonce复用不安全变体；独立重建全部目标及模型对应，保存未解引理和总预算。 未来改判信号： - 扩大：未见协议/游戏分解下，完整安全目标在固定攻击者模型中通过，独立密码分析一致。 - 收缩：只会补语法，漏nonce/腐化假设、改变目标或跳过最终目标；缩到固定引理补全。 接收/拒收： - 安全模型忠实：独立核对角色、密钥、nonce、消息绑定和攻击者查询/腐化能力；用已知不安全变体作为负控制，验证模型能暴露攻击。 拒收：删去重放/腐化能力使协议“安全”；加理想信道而原实现没有。 - 完整形式结果不藏未证部分：固定环境重放全部目标，核对admit/axiom/假设/solver与证明依赖；游戏跃迁和引理连接到最终目标，局部通过单列。 拒收：多个引理通过但最终安全界未证；把构造安全假设直接当最终定理。 - 攻击/反例在原模型内：重放trace/代码，检查前提、复杂性、概率、参数和预算；区分符号攻击与可实现计算攻击。 拒收：攻击需要超出允许查询或不现实时间，却写破坏目标安全级别。 - 保证与部署不混淆：核对报告只声称已证模型/参数；理论保证到代码/随机源/侧信道/密钥管理缺口必须可见。 拒收：IND-CPA证明被说成认证加密/抗侧信道；nonce重复时仍套原安全界。 失败处理：不能证明时列最小未解引理和已证范围；发现攻击保留可重放输入/trace；模型歧义先给相异解释及影响，不偷偷削弱攻击者。 本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。 尚未覆盖：符号trace与可实现计算攻击不同。 验证方法：重放前提、查询/腐化预算、参数、概率/复杂性；不现实时间或超出攻击者能力不得称破坏目标安全级别。 ### 交付标准实现与互操作 把已接受原语/协议接入目标系统，并验证失败路径。 交付物：固定库/实现与向量/差分；互操作、错误处理与版本 判断依据：工具与方法依据、有条件的编辑推断 当前变化：可委派使用高保证标准构件的候选集成；HACL*是工具/保证资产，不是AI实现安全试验。 - 密码实现交付：标准构件、密钥条件与目标平台验证：/work-units/W-M12?version=2026-10-21.workunits.2 普通标准库/协议接入可为经典AEAD，不以PQC迁移为前提。（partial；workunits/work-unit/W-M12@2026-10-21.workunits.2） 应用范围：普通标准库/协议接入可为经典AEAD，不以PQC迁移为前提。 AI工作组织：代理围绕目标系统组织标准库集成、向量/差分、生命周期和迁移实验；确定性向量直接执行，异常定位到调用/状态而非重造算法。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：HACL*等工具提供高保证构件，不能证明代理集成无误；密码形式分析只是相邻能力证据。可委派候选补丁和检查执行，关键采用由真实系统证据决定，而非代码像标准或模型声称安全。 当前可用性：mixed；公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。 - HACL*固定研究库：https://github.com/hacl-star/hacl-star/tree/504c2987452f87fe44bce9b9f12e19d6e051761f 504c2987…；F*/KaRaMeL链按项目锁定；开源研究代码/生成C；实际生产发布/绑定查hacl-packages再固定版本，不使用浮动main冒称可复现。 - 生产packages入口：https://github.com/cryspen/hacl-packages/ 官方研究库指向，具体release尚未为目标系统选定；尚未构建/目标平台测试；工具可获取不代表任务通过。 ### HACL*固定代码提供限定算法的内存安全、功能正确和secret independence说明，生产集成入口另指向packages。 依据身份：工具与方法依据；状态：active - HACL*固定高保证密码库方法：https://github.com/hacl-star/hacl-star/blob/504c2987452f87fe44bce9b9f12e19d6e051761f/README.md 定位：README HACL* / ValeCrypt / Status；关系：method 支持：可复用高保证构件及保证范围。 限制：不是AI成绩；只抵抗某些定时侧信道，包装/编译/硬件条件仍需核查。 核查：2026-10-20；来源状态：active 适用限制：不是AI成绩；只抵抗某些定时侧信道，包装/编译/硬件条件仍需核查。 ### 可让代理整包产出标准库集成与验证材料，但没有直接证据把密码形式模型成绩转成端到端实现安全可靠性。 依据身份：有条件的编辑推断；状态：active - CrypFormBench v1：密码形式模型能力：https://arxiv.org/html/2606.25561v1 定位：§3任务定义及§6模型语义错误；关系：adjacent 支持：相邻模型/语义能力提示需要核对安全前提。 限制：该来源不评AI实现、key生命周期、侧信道或迁移；推荐是待验证工程迁移。 核查：2026-10-20；来源状态：active 适用限制：该来源不评AI实现、key生命周期、侧信道或迁移；推荐是待验证工程迁移。 ### 接收依赖真实平台上独立功能、key/nonce和迁移控制，库形式保证不能单独覆盖集成。 依据身份：有条件的编辑推断；状态：active - HACL*固定高保证密码库方法：https://github.com/hacl-star/hacl-star/blob/504c2987452f87fe44bce9b9f12e19d6e051761f/README.md 定位：README verification scope / production packages；关系：method 支持：限定代码保证与集成条件分开。 限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。 核查：2026-10-20；来源状态：active 适用限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。 ## 情境变化 ### 标准构件常规集成 输入变化：在目标系统使用已接受的经典或既定标准库/协议；不要求后量子替换、尺寸变化或旧版迁移。 判断变化：可交标准构件包装与独立向量/互操作/失败检查候选，安全接收仍查实际key/nonce条件。 验收变化：固定库/平台/接口，标准向量、差分、坏tag/截断、key/nonce生命周期及保证覆盖；同一错误实现的往返一致不够。 研究前沿：可用高保证库与形式密码代理是不同资产；本轮没有直接覆盖AI端到端生成、侧信道测试和生产迁移的试验，保留这一迁移缺口。 下一项验证：在授权样板系统集成固定AEAD库，加入坏tag、并发重启nonce复用、key轮换和版本回退负控制；独立检查真实编译产物与平台泄漏范围。 未来改判信号： - 扩大：未见系统/平台下库保证连接清楚，生命周期/迁移/泄漏检查可独立复现。 - 收缩：自动生成原语、隐含nonce/随机假设或降级回退；缩到已审库包装与测试候选。 接收/拒收： - 功能/互操作正确：独立标准向量、边界/空消息/大消息、差分实现、对端互操作；篡改标签/重放/截断按契约拒绝。 拒收：能加解密互通却接受坏tag；自测同一错误算法彼此一致。 - 密钥/nonce条件实际维持：在并发、进程重启、重试和轮换下检查唯一性与生命周期；失败不泄露明文/密钥，随机源故障可观察。 拒收：重启后计数nonce归零；错误路径写密钥日志或释放未认证明文。 - 理论/代码/平台证据分开：核对所选库对应源码/编译产物和保证范围；目标平台做适用的静态/动态泄漏检查并记录统计条件，未测项不宣称无侧信道。 拒收：HACL*源码保证被外推到所有编译器/调用包装/硬件；一次无显著泄漏被当证明。 - 迁移和回退可运行：授权测试环境演练旧新数据/对端、key版本、部分失败和回退；验证不能降级到不安全算法或混用格式。 拒收：回退丢失key标识导致旧数据不可读；协商降级重开漏洞。 失败处理：向量不符先拒收功能；nonce或随机源条件未满足则拒收安全接入；无法做平台测量明确交付限制，不用理论证明补平台空缺。 本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。 尚未覆盖：无直接AI端到端安全实现评估，不能用形式模型成绩填空。 验证方法：独立向量/边界/差分/对端，坏tag与截断拒绝；固定编译产物，往返一致不能替标准正确。 ### 交付实现安全与密钥条件证据 检查随机源、nonce/key生命周期、秘密依赖和目标平台泄漏。 交付物：并发重启/轮换控制；平台泄漏诊断及覆盖限制 判断依据：工具与方法依据、有条件的编辑推断 当前变化：可委派检查执行与候选修复；库secret independence只涵盖部分时间侧信道，不能宣称任意硬件安全。 - 密码实现交付：标准构件、密钥条件与目标平台验证：/work-units/W-M12?version=2026-10-21.workunits.2 工具保证范围直接可查；平台/生命周期AI效果不冒充已测。（partial；workunits/work-unit/W-M12@2026-10-21.workunits.2） 应用范围：工具保证范围直接可查；平台/生命周期AI效果不冒充已测。 AI工作组织：代理围绕目标系统组织标准库集成、向量/差分、生命周期和迁移实验；确定性向量直接执行，异常定位到调用/状态而非重造算法。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：HACL*等工具提供高保证构件，不能证明代理集成无误；密码形式分析只是相邻能力证据。可委派候选补丁和检查执行，关键采用由真实系统证据决定，而非代码像标准或模型声称安全。 当前可用性：mixed；公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。 - HACL*固定研究库：https://github.com/hacl-star/hacl-star/tree/504c2987452f87fe44bce9b9f12e19d6e051761f 504c2987…；F*/KaRaMeL链按项目锁定；开源研究代码/生成C；实际生产发布/绑定查hacl-packages再固定版本，不使用浮动main冒称可复现。 - 生产packages入口：https://github.com/cryspen/hacl-packages/ 官方研究库指向，具体release尚未为目标系统选定；尚未构建/目标平台测试；工具可获取不代表任务通过。 ### HACL*固定代码提供限定算法的内存安全、功能正确和secret independence说明，生产集成入口另指向packages。 依据身份：工具与方法依据；状态：active - HACL*固定高保证密码库方法：https://github.com/hacl-star/hacl-star/blob/504c2987452f87fe44bce9b9f12e19d6e051761f/README.md 定位：README HACL* / ValeCrypt / Status；关系：method 支持：可复用高保证构件及保证范围。 限制：不是AI成绩；只抵抗某些定时侧信道，包装/编译/硬件条件仍需核查。 核查：2026-10-20；来源状态：active 适用限制：不是AI成绩；只抵抗某些定时侧信道，包装/编译/硬件条件仍需核查。 ### 接收依赖真实平台上独立功能、key/nonce和迁移控制，库形式保证不能单独覆盖集成。 依据身份：有条件的编辑推断；状态：active - HACL*固定高保证密码库方法：https://github.com/hacl-star/hacl-star/blob/504c2987452f87fe44bce9b9f12e19d6e051761f/README.md 定位：README verification scope / production packages；关系：method 支持：限定代码保证与集成条件分开。 限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。 核查：2026-10-20；来源状态：active 适用限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。 ## 情境变化 ### 目标硬件/侧信道 输入变化：有功耗/电磁/时序泄漏威胁。 判断变化：可委派工具配置、分析和候选修复；未有本例AI测量成绩，不能只给安全标签。 验收变化：实际设备/编译器、采集方法、统计功效/攻击验证和覆盖限制；secret independence不等于全物理泄漏。 研究前沿：可用高保证库与形式密码代理是不同资产；本轮没有直接覆盖AI端到端生成、侧信道测试和生产迁移的试验，保留这一迁移缺口。 下一项验证：在授权样板系统集成固定AEAD库，加入坏tag、并发重启nonce复用、key轮换和版本回退负控制；独立检查真实编译产物与平台泄漏范围。 未来改判信号： - 扩大：未见系统/平台下库保证连接清楚，生命周期/迁移/泄漏检查可独立复现。 - 收缩：自动生成原语、隐含nonce/随机假设或降级回退；缩到已审库包装与测试候选。 接收/拒收： - 功能/互操作正确：独立标准向量、边界/空消息/大消息、差分实现、对端互操作；篡改标签/重放/截断按契约拒绝。 拒收：能加解密互通却接受坏tag；自测同一错误算法彼此一致。 - 密钥/nonce条件实际维持：在并发、进程重启、重试和轮换下检查唯一性与生命周期；失败不泄露明文/密钥，随机源故障可观察。 拒收：重启后计数nonce归零；错误路径写密钥日志或释放未认证明文。 - 理论/代码/平台证据分开：核对所选库对应源码/编译产物和保证范围；目标平台做适用的静态/动态泄漏检查并记录统计条件，未测项不宣称无侧信道。 拒收：HACL*源码保证被外推到所有编译器/调用包装/硬件；一次无显著泄漏被当证明。 - 迁移和回退可运行：授权测试环境演练旧新数据/对端、key版本、部分失败和回退；验证不能降级到不安全算法或混用格式。 拒收：回退丢失key标识导致旧数据不可读；协商降级重开漏洞。 失败处理：向量不符先拒收功能；nonce或随机源条件未满足则拒收安全接入；无法做平台测量明确交付限制，不用理论证明补平台空缺。 本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。 尚未覆盖：目标硬件、编译、泄漏采集和统计功效需真实环境。 验证方法：并发/重启nonce唯一、key隔离/轮换、随机源失效，适用静态/动态泄漏与攻击验证；无显著泄漏不是无泄漏证明。 ### 交付协议集成与可回退迁移 系统内替换算法/参数，维持旧数据/对端可读和key可追溯。 交付物：迁移/兼容/回退演练；key版本/协商与资源影响 判断依据：有条件的编辑推断 当前变化：可分阶段委派候选迁移和验证；后量子/混合协议先核标准与库，不自定义组合并自动冠以安全。 - 密码实现交付：标准构件、密钥条件与目标平台验证：/work-units/W-M12?version=2026-10-21.workunits.2 普通版本/key迁移与后量子尺寸/握手情景分开，只有实际PQC输入才选后者。（partial；workunits/work-unit/W-M12@2026-10-21.workunits.2） 应用范围：普通版本/key迁移与后量子尺寸/握手情景分开，只有实际PQC输入才选后者。 AI工作组织：代理围绕目标系统组织标准库集成、向量/差分、生命周期和迁移实验；确定性向量直接执行，异常定位到调用/状态而非重造算法。 ## 任务级判断与证据 采用方式：分阶段接收 从证据到建议：HACL*等工具提供高保证构件，不能证明代理集成无误；密码形式分析只是相邻能力证据。可委派候选补丁和检查执行，关键采用由真实系统证据决定，而非代码像标准或模型声称安全。 当前可用性：mixed；公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。 - HACL*固定研究库：https://github.com/hacl-star/hacl-star/tree/504c2987452f87fe44bce9b9f12e19d6e051761f 504c2987…；F*/KaRaMeL链按项目锁定；开源研究代码/生成C；实际生产发布/绑定查hacl-packages再固定版本，不使用浮动main冒称可复现。 - 生产packages入口：https://github.com/cryspen/hacl-packages/ 官方研究库指向，具体release尚未为目标系统选定；尚未构建/目标平台测试；工具可获取不代表任务通过。 ### 可让代理整包产出标准库集成与验证材料，但没有直接证据把密码形式模型成绩转成端到端实现安全可靠性。 依据身份：有条件的编辑推断；状态：active - CrypFormBench v1：密码形式模型能力：https://arxiv.org/html/2606.25561v1 定位：§3任务定义及§6模型语义错误；关系：adjacent 支持：相邻模型/语义能力提示需要核对安全前提。 限制：该来源不评AI实现、key生命周期、侧信道或迁移；推荐是待验证工程迁移。 核查：2026-10-20；来源状态：active 适用限制：该来源不评AI实现、key生命周期、侧信道或迁移；推荐是待验证工程迁移。 ### 接收依赖真实平台上独立功能、key/nonce和迁移控制，库形式保证不能单独覆盖集成。 依据身份：有条件的编辑推断；状态：active - HACL*固定高保证密码库方法：https://github.com/hacl-star/hacl-star/blob/504c2987452f87fe44bce9b9f12e19d6e051761f/README.md 定位：README verification scope / production packages；关系：method 支持：限定代码保证与集成条件分开。 限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。 核查：2026-10-20；来源状态：active 适用限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。 ## 情境变化 ### 后量子迁移 输入变化：参数/证书大小、握手、混合方案和兼容约束变化。 判断变化：标准/库/协议版本先核定，再交候选实现与迁移实验，不自定义组合。 验收变化：跨对端、降级/回退、key格式/尺寸与资源消耗；理论PQC证明不能代替互操作。 ### 既有协议与密钥系统的版本迁移 输入变化：经典算法/协议/参数或key系统版本更新，需旧数据/对端兼容与可回退，不必是后量子方案。 判断变化：可分阶段委派迁移候选及测试；先明确新旧保证、状态和回退允许范围。 验收变化：旧新数据/对端、key版本/轮换、部分失败及降级控制重放，回退不得恢复已知不安全模式。 研究前沿：可用高保证库与形式密码代理是不同资产；本轮没有直接覆盖AI端到端生成、侧信道测试和生产迁移的试验，保留这一迁移缺口。 下一项验证：在授权样板系统集成固定AEAD库，加入坏tag、并发重启nonce复用、key轮换和版本回退负控制；独立检查真实编译产物与平台泄漏范围。 未来改判信号： - 扩大：未见系统/平台下库保证连接清楚，生命周期/迁移/泄漏检查可独立复现。 - 收缩：自动生成原语、隐含nonce/随机假设或降级回退；缩到已审库包装与测试候选。 接收/拒收： - 功能/互操作正确：独立标准向量、边界/空消息/大消息、差分实现、对端互操作；篡改标签/重放/截断按契约拒绝。 拒收：能加解密互通却接受坏tag；自测同一错误算法彼此一致。 - 密钥/nonce条件实际维持：在并发、进程重启、重试和轮换下检查唯一性与生命周期；失败不泄露明文/密钥，随机源故障可观察。 拒收：重启后计数nonce归零；错误路径写密钥日志或释放未认证明文。 - 理论/代码/平台证据分开：核对所选库对应源码/编译产物和保证范围；目标平台做适用的静态/动态泄漏检查并记录统计条件，未测项不宣称无侧信道。 拒收：HACL*源码保证被外推到所有编译器/调用包装/硬件；一次无显著泄漏被当证明。 - 迁移和回退可运行：授权测试环境演练旧新数据/对端、key版本、部分失败和回退；验证不能降级到不安全算法或混用格式。 拒收：回退丢失key标识导致旧数据不可读；协商降级重开漏洞。 失败处理：向量不符先拒收功能；nonce或随机源条件未满足则拒收安全接入；无法做平台测量明确交付限制，不用理论证明补平台空缺。 本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。 尚未覆盖：标准/产品当前可用和实际对端行为需要目标系统核验。 验证方法：跨版本/对端、部分失败、key轮换及降级控制，回退不丢数据/重开漏洞，测尺寸/资源和延迟。 ## 与工作关联的进展 ### 密码引理证明工程已有EasyCrypt代理案例 公开 2026-07-03；判断变化 2026-07-03 给定模型和引理分解后可以委派证明脚本搜索。 支持范围：10月源码更宽分解能力不继承v1已测范围。 来源状态：active /explore?purpose=understand&domain=math&window=all#P-M-SHANNON ### 密码模型的生成/转换开始独立于通用编码测量 公开 2026-06-24 符号与计算安全模型有专属形式分析评价。 支持范围：不覆盖生产代码/硬件泄漏或现实部署可靠性。 来源状态：active /explore?purpose=understand&domain=math&window=all#P-M-CRYPFORM ## 未来3–5年条件情景 未来 3–5 年（2029–2031） 未来 3–5 年是编辑条件情景，不是就业数量预测。每项均列基准、加速、受限路径和需观察的信号；职业职责来源不等于 AI 能力证据。 基准：形式密码证明工程与标准库集成更易委派，模型、实现和部署保证分别接收。 加速：若新安全模型/完整证明与目标平台实现能共同独立验证，代理可参与更大构造与迁移任务。 受限：若只补语法或借库保证掩盖nonce/泄漏/部署条件，缩到固定引理和已审构件包装。 改判信号： - 模型/安全目标语义与最终证明覆盖 - 未见协议/变体下证明或有效攻击的可重放性 - 平台泄漏/key生命周期及互操作迁移结果 ## 进入与成长的公开能力证据 本页主要提供工作与作品证据；基础课程、责任级别和中国准入尚未完成专题整理。 完整交付作品证据： - 明确安全游戏/攻击者、构造与完整论证或有效攻击 - 标准库、密钥/nonce条件与目标平台/迁移实际验证 具体地区、职级和组织要求按目标岗位核对；美国资料不自动作为中国资格要求。 ## 相邻方向及区别 - 信息安全分析：/careers/security-analyst.md?version=2026-10-21.careers.2 密码关注安全构造与实现条件；信息安全分析还覆盖人员、系统、配置和响应。 - 数学研究：/careers/mathematics-researcher.md?version=2026-10-21.careers.2 密码研究使用数学论证，但还要满足具体攻击模型、实现与协议条件。 ## 职业名称与分类映射 - O*NET-SOC 15-2021.00 Mathematicians；O*NET-SOC 2019；OnLine Updated 2026；US；related 共享部分方法或工作对象，不能据此认定岗位与该编码完全相同。；定位 Definition / Tasks - O*NET-SOC 15-1221.00 Computer and Information Research Scientists；O*NET-SOC 2019；OnLine Updated 2026；US；related 共享部分方法或工作对象，不能据此认定岗位与该编码完全相同。；定位 Definition / Tasks - O*NET-SOC 15-1212.00 Information Security Analysts；O*NET-SOC 2019；OnLine Updated 2026；US；related 共享部分方法或工作对象，不能据此认定岗位与该编码完全相同。；定位 Definition / Tasks ## 工作资料与来源 - 密码安全论证包：威胁模型、协议与证明/攻击对照：/work-units/W-M11?version=2026-10-21.workunits.2 仅选形式分析/语义证据，不给现实攻击普适成功率。（partial；workunits/work-unit/W-M11@2026-10-21.workunits.2） - 密码实现交付：标准构件、密钥条件与目标平台验证：/work-units/W-M12?version=2026-10-21.workunits.2 普通版本/key迁移与后量子尺寸/握手情景分开，只有实际PQC输入才选后者。（partial；workunits/work-unit/W-M12@2026-10-21.workunits.2） - Mathematicians：https://www.onetonline.org/link/summary/15-2021.00 O*NET / 美国劳工部职业信息网络；US；O*NET OnLine / Updated 2026 / 2026-10-20访问快照；核查 2026-10-20；状态 active 定位：职业定义、Tasks、Work Activities；不采用薪酬和学历比例 范围：美国 O*NET-SOC 职业职责参照；中文标题及导航由编辑按工作内容映射 限制：不证明中国岗位数量、准入资格或在招需求；不提供该职业的 AI 实测结论。 - Computer and Information Research Scientists：https://www.onetonline.org/link/summary/15-1221.00 O*NET / 美国劳工部职业信息网络；US；O*NET OnLine / Updated 2026 / 2026-10-20访问快照；核查 2026-10-20；状态 active 定位：职业定义、Tasks、Work Activities；不采用薪酬和学历比例 范围：美国 O*NET-SOC 职业职责参照；中文标题及导航由编辑按工作内容映射 限制：不证明中国岗位数量、准入资格或在招需求；不提供该职业的 AI 实测结论。 - Information Security Analysts：https://www.onetonline.org/link/summary/15-1212.00 O*NET / 美国劳工部职业信息网络；US；O*NET OnLine / Updated 2026 / 2026-10-20访问快照；核查 2026-10-20；状态 active 定位：职业定义、Tasks、Work Activities；不采用薪酬和学历比例 范围：美国 O*NET-SOC 职业职责参照；中文标题及导航由编辑按工作内容映射 限制：不证明中国岗位数量、准入资格或在招需求；不提供该职业的 AI 实测结论。 ## 用于自己的问题 个人适配、具体岗位判断与计划由用户自己的 Agent 结合已有材料处理。复用已知上下文，仅追问影响结论的缺口；目录不是全部选项。阅读或比较公开工作本身无需档案、固定二选一、保存记录或行动计划。