Working Draft · AI Era Execution Security LanguageThis article is part of the Havenlon Execution Security Language project. The terminology and definitions presented here describe the current working draft and may evolve as the discipline matures.AI 时代执行安全语言体系工作草案本系列旨在建立 AI 时代执行安全的共同语言。 本文中的术语与定义代表当前工作草案 将随着理论研究、工程实践和社区讨论持续修订。6. Trust Domain信任域一句话定义信任域是由相同控制主体、凭证、管理链、升级链或安全假设共同支配的一组组件和能力。严格定义信任域不等于一个进程一台服务器一个微服务一个芯片一个网络区域。多个表面分离的组件如果共享以下任一关键控制关系仍可能属于同一个信任域同一个超级管理员同一组根凭证同一个升级密钥同一个数据库同一个云控制平面同一个代码发布链同一套可以覆盖其他约束的 Policy同一个能够修改全部组件的维护者。判断信任域的核心问题是一个主体失陷后能够同时控制哪些组件和结果上位概念信任结构控制域安全边界下位概念独立信任域共享信任域单一信任域应用信任域治理信任域仲裁信任域执行信任域证据信任域相关概念Trust Domain CompromiseBoundary IndependenceLayered DistrustAuthority PropagationFault Domain约束机制明确控制主体明确凭证边界独立升级链独立状态独立通信身份域间输入最小化域间重新验证。结果目标让系统架构中的“独立”是控制意义上的独立而不只是部署形式上的分离。在 Havenlon 中应用、SaaS、Arbiter、Security Domain 和 Evidence Store 应按不同职责与控制关系划分信任域。7. Independent Trust Domain独立信任域一句话定义独立信任域是其控制权、凭证、状态和失陷路径不会被另一信任域自动继承的信任域。严格定义独立信任域必须具备实质独立性而不只是逻辑隔离。它通常应满足独立身份独立通信密钥独立状态判断独立管理权限独立升级或恢复约束不接受其他域的无条件执行指令一个域失陷后不能直接重写另一个域。独立并不意味着两个域完全不通信。真正的独立是它们可以交换信息但一个域的结论不能自动变成另一个域的最终结论。上位概念Trust Domain下位概念独立仲裁域独立执行域独立证据域独立治理域独立身份域相关概念Boundary IndependenceNon-Transitive TrustLayered DistrustPhysical SeparationFailure Containment约束机制独立凭证独立状态机固定域间协议本地重新验证不共享完整执行能力独立拒绝独立恢复条件。结果目标使一个信任域完全失陷后系统仍然存在未被同时控制的其他约束。在 Havenlon 中Arbiter Domain 与 Security Domain 使用不同职责、通信关系和执行能力。Arbiter 的允许不能替代 Security Domain 的最终校验。8. Shared Trust Domain共享信任域一句话定义共享信任域是多个组件虽然功能不同但共享关键控制主体、安全假设或失陷路径的信任结构。严格定义组件处于共享信任域的典型标志包括同一管理员可以控制全部组件同一凭证可访问多个关键服务同一升级密钥可以替换全部代码同一数据库决定多个组件状态同一 SaaS 后台能够修改审批、Policy 和日志一个操作系统 root 可以读取所有密钥与进程状态。共享信任域并不天然错误。问题在于不能把同一域中的多个组件误认为多个独立安全层。上位概念Trust Domain下位概念共享管理域共享升级域共享凭证域共享状态域共享云控制域相关概念Single Trust DomainTrust ConcentrationCommon-Mode FailureBoundary CollapseConcentrated Execution Power权力边界同一共享信任域中的多个“批准”不能被当成多个独立约束。约束机制识别共同控制点不重复计算同域信号关键能力迁出共享域分离管理和升级权限引入域外最终否决。结果目标避免把架构数量误认为安全独立性。在 Havenlon 中SaaS 中的多个服务、审批模块和 Policy 模块如果共享同一后台控制权应视为同一个协同信任域而不是多个独立信任来源。9. Single Trust Domain单一信任域一句话定义单一信任域是提议、审批、Policy、执行和证据等关键能力最终都受同一控制关系支配的系统结构。严格定义单一信任域不要求所有功能运行在一台设备上。即使系统部署了多个服务多个数据库多个审批账户多个密钥设备多个地理节点只要一个主体可以通过共同管理权限、升级链或控制平面同时影响它们系统仍然可能属于单一信任域。单一信任域的核心风险是一个控制点失陷后攻击者可以同时制造请求、批准请求、执行请求并重写证据。上位概念Trust Domain信任集中下位概念单一 SaaS 信任域单一管理员信任域单一设备信任域单一云平台信任域单一升级信任域相关概念Single-Layer Execution AuthoritySingle-Point Catastrophic ExecutionTrust ConcentrationBoundary CollapseCatastrophic Authority约束机制引入独立域迁出最终执行能力分离治理与执行独立证据独立物理拒绝分离升级与恢复权限。结果目标消除一个控制主体能够完成完整灾难性执行闭环的结构。在 Havenlon 中Havenlon 的目的不是让现有 SaaS 增加更多模块而是把最终执行和本地治理状态从单一软件信任域中移出。10. Trust Domain Compromise信任域失陷一句话定义信任域失陷是一个信任域中的身份、状态、组件或控制链已经无法继续作为可靠执行依据的状态。严格定义信任域失陷应按最坏情况处理。一旦某个域被视为失陷就应假定攻击者可能控制该域中的所有输出读取或使用该域中的凭证伪造该域状态重放历史消息隐藏内部异常操纵该域中的多个服务相互证明删除该域能够控制的日志。但信任域失陷不应自动被推导为整个系统失陷。这正是独立信任域存在的意义。上位概念系统失陷信任风险下位概念应用域失陷SaaS 域失陷治理域失陷仲裁域失陷执行域失陷证据域失陷相关概念Partial CompromiseCompromise PropagationBoundary IndependenceFailure ContainmentAdversarial Survivability约束机制域级撤销隔离通信降低执行额度其他域提高验证要求Safe Mode独立证据检查设备替换或物理恢复。结果目标使一个信任域失陷成为有限、可隔离和可恢复的事件而不是整个系统的终局。在 Havenlon 中应用或 Bletchley 失陷时本地执行边界仍应保留。Arbiter 或 Security Domain 异常时系统则应进入更严格的受限或 Safe Mode。