驗證保護

驗證保護

驗證保護(verified protection)是2018年公布的計算機科學技術名詞。

基本介紹

  • 中文名:驗證保護
  • 外文名:verified protection
  • 所屬學科:計算機科學技術
  • 公布時間:2018年
定義,出處,

定義

系統設計經過形式化安全驗證的安全保護。

出處

《計算機科學技術名詞 》第三版。

相關詞條

熱門詞條

聯絡我們