Havenlon｜AI 时代的执行安全语言体系（五七）：硬件不是天然可信

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 时代执行安全的共同语言。本文中的术语与定义代表当前工作草案将随着理论研究、工程实践和社区讨论持续修订10. Hardware Is Not Automatically Trusted硬件并非天然可信核心判断硬件能够提供不同失陷路径但硬件本身不是天然正确、天然安全或天然不可攻击。严格定义硬件可能发生芯片漏洞固件漏洞调试接口暴露启动链绕过供应链替换密钥注入错误侧信道攻击故障注入存储回滚恶意更新物理拆解制造配置错误。因此硬件安全不能只依赖芯片厂商宣传不可导出密钥外壳封闭设备在本地没有公网连接。上位概念Adversarial AssumptionLayered Distrust下位概念Compromised HardwareMalicious FirmwareSupply Chain CompromiseDebug Interface ExposureSecure Element Misuse相关概念Hardware Root of TrustMeasured BootSecure BootHardware Blast RadiusBoundary of Boundaries约束机制多层硬件域最小固件安全启动调试锁定设备身份固件签名供应链验证硬件失陷后的损失上限。结果目标不把整个系统安全建立在“这块硬件一定不会失陷”的假设上。在 Havenlon 中Arbiter、Security Domain 和安全元件承担不同职责单一硬件组件不应拥有完整灾难性执行权。11. Hardware Root of Trust硬件信任根一句话定义硬件信任根是用于证明设备身份、启动状态、密钥来源或安全状态的最小硬件基础。严格定义Hardware Root of Trust 可以提供设备唯一身份启动验证固件测量密钥保护防回滚状态挑战响应设备签名。但信任根只能证明它设计范围内的属性。例如安全元件可以证明某把设备私钥完成了签名。它不能单独证明签名内容语义正确上游 Intent 没有污染Policy 判断合理外部执行结果安全。上位概念Trust RootHardware Security下位概念Device Identity RootBoot Root of TrustKey Protection RootAttestation Root相关概念Secure ElementDevice-Signed FactSecure BootMeasured BootIntent Integrity权力边界硬件信任根不能因为保护密钥就成为整个业务语义的最终裁判。约束机制用途分离Key Slot域分离受限命令设备证明独立验证。结果目标提供稳定的最小密码学根同时防止信任范围无限扩张。在 Havenlon 中SE05X、ATECC608B 等安全元件用于设备身份、密钥和签名能力但执行语义由更完整的执行链共同约束。12. Secure Element安全元件一句话定义安全元件是用于受保护地生成、保存和使用密钥及安全状态的专用硬件组件。严格定义Secure Element 通常可以提供密钥不可导出硬件随机数数字签名加解密安全计数器设备证书挑战响应受限对象存储。安全元件的安全价值取决于命令接口是否受限Key Slot 是否绑定用途调用者是否经过验证Payload 是否完整绑定是否存在任意签名接口固件能否滥用密钥计数器是否参与执行控制。上位概念Hardware Root of TrustKey Protection下位概念Device Identity Secure ElementExecution Key Secure ElementAttestation Secure ElementCounter Secure Element相关概念HSMKey SlotDevice IdentityCredential Blast RadiusHardware Execution Boundary容易混淆的概念安全元件保护的是密钥如何被保存和使用。它不自动解决谁提出动作、动作是否正确、是否应当执行。权力边界安全元件不应提供上游可以无约束调用的通用签名能力。约束机制对象权限Key Slot调用认证固定算法使用计数不可导出设备绑定。结果目标降低密钥提取和任意使用风险并为设备事实提供密码学身份。在 Havenlon 中不同安全元件承担不同设备身份或执行密钥职责不能仅依赖一颗芯片承担全部安全语义。13. Hardware Security Module硬件安全模块一句话定义硬件安全模块是提供集中密钥保护、密码学运算和访问控制能力的硬件系统。严格定义HSM 可以显著降低密钥导出密钥复制未授权密码学操作软件密钥泄露密钥生命周期管理风险。但传统 HSM 常见模型是上游软件已经决定要签什么 ↓ HSM 验证调用身份 ↓ HSM 使用密钥签名如果上游软件被攻破攻击者可能通过合法接口调用 HSM。因此HSM 可以保护 Key但未必完整保护 Intent-to-Execution Path。上位概念Hardware SecurityKey Management下位概念Network HSMEmbedded HSMCloud HSMPayment HSM相关概念Secure ElementKey SlotSignature ≠ ExecutionAuthorized MisuseExecution Boundary权力边界HSM 的调用授权不能被视为业务动作安全的充分条件。约束机制Payload 语义绑定独立 Policy额度与频率多方调用IntentHashExecution Slot最终重新验证。结果目标把 HSM 从单纯密钥保险箱提升为受执行语义约束的密码学能力组件。在 Havenlon 中Havenlon 不把最终安全简化为“密钥在 HSM 中”而要求密钥调用属于完整执行链。