當前位置：首頁 > 實用文檔 > 計算機軟件及計算機應用 > 正文

TrustZone中斷隔離機制的形式化驗證

小型微型計算機系統(tǒng) 頁數(shù)： 8 2022-07-07
摘要： TrustZone技術通過對硬件進行安全擴展，為軟件提供了相互隔離的可信執(zhí)行環(huán)境和通用執(zhí)行環(huán)境.中斷隔離機制是TrustZone的關鍵隔離機制，確保安全中斷和非安全中斷分別在可信執(zhí)行環(huán)境和通用執(zhí)行環(huán)境中被處理，該機制不正確可能導致安全中斷被通用執(zhí)行環(huán)境處理，從而影響可信執(zhí)行環(huán)境的安全性.本文提出ARMv8 TrustZone架構中斷隔離機制的形式化驗證方法，在定理證明器Isab...

開通會員，享受整站包年服務立即開通 >