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 currentworking draft and may evolve as the discipline matures.AI 时代执行安全语言体系工作草案本系列旨在建立 AI 时代执行安全的共同语言。本文中的术语与定义代表当前工作草案将随着理论研究、工程实践和社区讨论持续修订23. Boundary Independence边界独立性一句话定义边界独立性是一个安全边界在身份、权限、状态、更新、通信和失陷路径上不被另一边界完全控制的属性。严格定义两个模块名称不同不代表边界独立。如果它们共享同一个管理员同一个操作系统同一个 root同一套更新密钥同一个数据库同一个恢复入口同一个网络控制面同一套日志那么它们可能仍然属于同一个事实信任域。边界独立性需要评估谁能修改它谁能关闭它谁能恢复它谁能更新它谁能读取其密钥谁能伪造其状态谁能绕过其接口。上位概念Trust DomainLayered Distrust下位概念Administrative IndependenceUpdate IndependenceState IndependenceCredential IndependenceCommunication Independence相关概念Shared Trust DomainBoundary CollapseIndependent Final VetoPhysical Trust BoundaryCommon-Mode Failure约束机制不同处理器不同密钥不同更新权限独立状态最小通信独立恢复交叉验证。结果目标使攻击者控制一层后不能自动控制其他全部约束层。在 Havenlon 中应用域、Arbiter Domain 和 Security Domain 拥有不同职责、密钥和通信接口。24. Boundary Collapse边界坍塌一句话定义边界坍塌是原本设计为独立的安全层因为共享权限、更新、恢复或通信控制而在失陷时同时失效的状态。严格定义边界坍塌可能发生在多个组件运行于同一 root 权限所有固件由同一在线密钥签名SaaS 可以远程重置本地设备管理员可以同时修改 Policy 和证据Arbiter 只是透明代理Security Domain 接受任意上游命令恢复模式可以绕过全部检查多个设备共享同一主密钥。上位概念Trust FailureCommon-Mode Failure下位概念Administrative Boundary CollapseCredential Boundary CollapseRecovery Boundary CollapseUpdate Boundary CollapseEvidence Boundary Collapse相关概念Shared Trust DomainBoundary IndependenceCatastrophic AuthorityMulti-Layer CollusionSingle-Point Catastrophic Execution约束机制失陷路径分析独立凭证更新分离恢复分离非透明协议本地拒绝多层证据。结果目标识别名义上的多层安全是否实际上仍由一个主体统一控制。在 Havenlon 中设计评审必须检查 Linux、Arbiter、Security Domain、SaaS 和生产密钥是否存在共同控制点。25. Common-Mode Failure共因失效一句话定义共因失效是多个看似独立的组件因共享同一漏洞、权限、依赖或环境而同时失效的现象。严格定义共因可能包括相同固件代码相同编译链相同管理员凭证相同云账户相同供应链相同更新密钥相同时间源相同数据库相同 AI 模型相同外部 Policy 来源。多个设备并不自动意味着多个独立边界。如果它们全部运行同一固件、由同一更新通道控制仍可能发生共因失效。上位概念Failure PropagationSystemic Risk下位概念Software Common-Mode FailureAdministrative Common-Mode FailureSupply Chain Common-Mode FailurePolicy Common-Mode Failure相关概念Boundary IndependenceCoordinated CompromiseDiversityLayered DistrustBlast Radius约束机制技术多样性权限分离独立密钥不同更新路径本地与远程状态分离共因评审。结果目标避免“多个副本”被错误理解为“多个独立安全边界”。在 Havenlon 中Arbiter 与 Security Domain 不应只是同一软件在两个芯片上的简单复制而应具有不同职责和最小化接口。26. Boundary of Boundaries边界的边界一句话定义边界的边界是限制谁能够修改、关闭、恢复或重新定义安全边界本身的更高层约束。严格定义任何安全边界都面临一个问题谁保护这道边界如果答案是某个无限权限管理员那么该管理员就是事实上的最终执行权拥有者。Boundary of Boundaries 关注谁可以更新 Security Domain 固件谁可以修改硬件 Policy谁可以重置 counter谁可以替换设备谁可以恢复 Owner谁可以解锁调试接口谁可以改变 Key Slot谁可以修改 Execution Slot谁可以关闭 Evidence-Safe Mode。这些能力必须进入 Governance Intent需要更高阈值具有延迟需要物理条件留下恢复与变更证据不能立即获得完整执行能力。上位概念Governance BoundaryMeta-Control下位概念Firmware Governance BoundaryRecovery Governance BoundaryDevice Replacement BoundaryDebug Unlock BoundaryRoot Key Rotation Boundary相关概念Governance Mutation ControlOwner ≠ GodPhysical RecoveryFirmware Update BoundaryNo Unilateral Catastrophic Authority权力边界改变边界的权力不能由被边界约束的单一主体自行拥有。约束机制更高治理阈值独立角色物理确认延迟受限恢复新状态冷静期完整证据。结果目标防止攻击者不去绕过执行边界而是直接修改边界规则本身。在 Havenlon 中固件更新、设备替换、Owner 恢复和调试解锁都必须受到比普通执行更严格的治理。
