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 时代执行安全的共同语言。本文中的术语与定义代表当前工作草案将随着理论研究、工程实践和社区讨论持续修订14. Secure Boot安全启动一句话定义安全启动是设备只允许加载由受信任签名授权的固件或软件镜像的机制。严格定义Secure Boot 主要防止未签名固件被篡改启动镜像未授权 bootloader启动链替换恶意系统镜像。安全启动必须明确根公钥存放在哪里哪些组件被验证验证顺序更新密钥如何轮换恢复模式是否同样验证旧版本是否可以回滚调试模式是否绕过验证。上位概念Boot IntegrityHardware Root of Trust下位概念Bootloader VerificationFirmware VerificationKernel VerificationRecovery Image Verification相关概念Measured BootAnti-RollbackFirmware SigningRecovery BoundaryDebug Lock容易混淆的概念安全启动只能证明启动的软件获得了某个签名密钥的授权。它不能证明软件没有漏洞签名密钥没有被滥用固件逻辑符合安全目标当前配置没有被污染。权力边界拥有固件签名权的主体不能因此拥有无约束改变执行规则的权力。约束机制固件签名根密钥保护版本Anti-Rollback双镜像更新治理恢复验证。结果目标阻止攻击者通过替换固件取消执行边界。在 Havenlon 中Arbiter 和 Security Domain 的固件更新应经过签名验证和版本控制高风险规则变更还需治理约束。15. Measured Boot度量启动一句话定义度量启动是对启动过程中加载的关键组件生成密码学测量值用于证明设备实际启动了什么。严格定义Measured Boot 与 Secure Boot 的区别是Secure Boot 决定是否允许启动Measured Boot 记录实际启动内容。度量值可以覆盖bootloaderfirmwareconfigurationpolicy bundlesecurity staterecovery mode。度量结果可以进入设备证明Evidence StoreRemote AttestationFinal RevalidationRecovery Evidence。上位概念Boot IntegrityAttestation下位概念Firmware MeasurementConfiguration MeasurementPolicy MeasurementRecovery Measurement相关概念Secure BootRemote AttestationDevice StateEvidence ChainPolicy Hash权力边界度量只能证明设备启动了什么不能自动证明该版本安全或应当被允许执行高风险动作。约束机制哈希安全存储设备签名版本白名单本地验证证据记录。结果目标让设备实际运行状态能够被验证而不是只相信版本字符串。在 Havenlon 中固件、Policy 和关键配置的摘要可以作为设备状态进入最终执行和证据链。16. Firmware Integrity固件完整性一句话定义固件完整性是设备固件内容、版本、配置和启动状态保持未被未授权修改的属性。严格定义Firmware Integrity 包括镜像内容完整签名有效版本受支持未发生回滚配置未被非法修改调试状态符合要求更新流程完整恢复镜像受相同约束。固件完整不代表固件逻辑正确。一个有漏洞的正式签名固件仍可能通过全部完整性检查。上位概念Device IntegritySoftware Integrity下位概念Arbiter Firmware IntegritySecurity Firmware IntegrityBootloader IntegrityRecovery Firmware Integrity相关概念Secure BootMeasured BootAnti-RollbackFirmware SigningAdversarial Completeness权力边界固件签名者不能单方面通过发布新版本即时扩大执行权限。约束机制签名版本控制Governance Approval测试分阶段更新回滚保护更新证据。结果目标防止固件被静默替换同时把正式更新也纳入治理和证据。在 Havenlon 中关键固件版本与设备状态进入证据链执行规则变更不能只作为普通软件更新处理。17. Anti-Rollback防回滚一句话定义防回滚是阻止设备恢复到旧固件、旧 Policy、旧治理状态或旧计数器的机制。严格定义攻击者可能通过回滚恢复已撤销成员恢复旧 Policy恢复更高额度恢复旧固件漏洞重新使用旧审批清除新拒绝状态降低 counter删除新证据。防回滚必须覆盖固件版本Policy 版本Governance StateEvidence CounterKey StateRecovery State。上位概念Device IntegrityState Integrity下位概念Firmware Anti-RollbackPolicy Anti-RollbackGovernance Anti-RollbackEvidence Anti-RollbackKey State Anti-Rollback相关概念Monotonic CounterSecure BootEvidence CheckpointState RollbackReplay Protection权力边界管理员不能为了“恢复可用性”无痕恢复到更宽松旧状态。约束机制单调版本硬件 counter设备签名Checkpoint恢复治理旧版本拒绝回滚证据。结果目标使攻击者无法通过恢复旧状态重新获得已被撤销的执行能力。在 Havenlon 中Policy、治理状态和 Evidence Counter 都应具有版本或单调状态保护。18. Firmware Update Boundary固件更新边界一句话定义固件更新边界是限制谁能发布、批准、安装和激活关键固件更新的治理与技术边界。严格定义固件更新可以直接改变Policy 逻辑协议解析Key Slot 行为Execution Slot 行为Safe ModeEvidence Store恢复流程最终拒绝条件。因此固件更新权本质上可能是一种延迟生效的执行规则重写权。固件更新必须明确谁能签名谁能提议谁能批准设备如何验证是否设置延迟是否允许紧急更新是否可以回滚更新后是否立即恢复高风险执行。上位概念Governance BoundaryDevice Lifecycle Security下位概念Arbiter Firmware UpdateSecurity Firmware UpdateEmergency Firmware UpdateRecovery Firmware Update相关概念Governance Mutation ControlSecure BootFirmware SigningPolicy ChangeBoundary of Boundaries权力边界单一开发者、管理员或 SaaS 不应无约束地修改最终执行固件。约束机制多方签名更新白名单延迟激活物理确认版本检查更新 Evidence更新后受限模式。结果目标防止攻击者绕过正常执行链改写执行边界本身。在 Havenlon 中Security Domain 固件更新必须被视为高风险 Governance Intent而不是普通远程运维操作。