在資安領域， 擁有安全功能還不夠 ——你必須能夠證明它確實有效。Assurance（安全保證）正是這份「可證明的信心」，是現代系統安全的根基。 什麼是 Assurance？信心水準的本質 Assurance 代表對系統、軟體或控制措施的 安全性與正確性的信心水準（Level of Confidence） 。它不是布林值的「安全 / 不安全」，而是一個可量化的程度，回答：「我們有多確定這個系統按預期運作、沒有意外漏洞、也沒有惡意植入的後門？」 國際標準 Common Criteria（ISO/IEC 15408）以 評估保證等級（EAL, Evaluation Assurance Level） 將信心分為 EAL1 至 EAL7 七個層級。EAL1 僅憑功能測試，EAL7 則需形式化數學驗證。等級越高，所需的證據與嚴格程度也越高。 建立 Assurance 的核心策略 提升 Assurance 需要從 設計、開發、驗證 三個面向同步投入。在設計階段，採用威脅建模（Threat Modeling）與最小權限原則，從架構層就排除後門風險。在開發階段，導入 安全編碼標準 （如 CERT C、MISRA）、靜態分析工具（SAST）與程式碼審查，確保原始碼層面的正確性。 在驗證階段，滲透測試、模糊測試（Fuzzing）與形式化驗證（Formal Verification）提供不同深度的保證。 供應鏈安全 同樣不可忽視：Software Bill of Materials（SBOM）讓每個第三方元件可被追蹤，有效消除隱藏後門的風險。 💡 重點整理 Assurance ≠ 安全功能 ：它是對安全功能有效性的可量化信心，而非功能本身的存在。 EAL 等級是標準衡量工具 ：Common Criteria 提供 EAL1–EAL7 作為國際通用的保證等級框架。 多層驗證策略 ：靜態分析、滲透測試與形式化驗證須組合使用，單一方法無法覆蓋全部風險。 供應鏈是 Assurance 的盲點 ：SBOM 是消除第三方元件後門風險的關鍵工具。 Assurance 不是一次性的稽核，而是貫穿系統生命週期的持續承諾。 唯有將信心建立於可驗證的證據之上 ，系統安全才能從口號變為事實。 📚 參考文獻 ...