01 · MODEL
同一套執行控制模型，兩種實作層級
Havenlon Software Edition 並不是另一套獨立的安全架構。它是 Havenlon 硬體系統所使用之 Execution Control 模型的純軟體實作。其目標是在軟體與硬體部署之間維持一致的概念邊界與整合方式，包括意圖表示、策略裁決、執行授權、證據生成以及面向 Executor 的介面。因此，基於 Software Edition 完成的整合，可以沿用相同的架構模型逐步遷移至由硬體提供安全支撐的部署方式。
02 · ALIGNMENT
與 Havenlon 硬體保持架構對齊
執行模型
採用相同的意圖到執行控制模型。
策略模型
對齊 Execution Boundary 的策略語義。
協定
對齊協定與訊息語義。
介面
應用程式與 Executor 採用一致的整合介面。
證據
對齊執行證據與執行後證明模型。
03 · ASSURANCE BOUNDARY
相同模型，不代表相同的安全保證
Software Edition 的目標是提供架構相容性，而不是提供與硬體完全相同的安全保證。純軟體部署無法完整重現 Havenlon 硬體系統所提供的實體信任邊界、獨立執行路徑、安全元件保護，以及由硬體強制實施的隔離能力。對於開發、整合、研究、模擬以及較低安全保證需求的部署，Software Edition 提供了一種更容易採用 Havenlon Execution Control 模型的方式。對於高風險執行環境，Havenlon 硬體仍然是提供更高安全保證的實作方式。
04 · OPEN SOURCE
一條開放的 Execution Control 入口
Software Edition 規劃作為 Havenlon Execution Control 生態系統的開源入口。我們希望讓這套控制模型可以被檢視、測試與整合，同時保留在需要更高安全保證時，向硬體支撐的執行邊界遷移的路徑。
05 · HAVENLON LABS
關注開發進度
Software Edition 目前正在進行架構收斂與協定定稿。架構、介面、參考實作以及開源元件將逐步透過 Havenlon Labs 公開。
關注 Havenlon Labs GitHub