[cp]【華為EMUI10.1】成為國內首款也是目前唯一一款獲得中國網絡安全審查技術與認證中心EAL4+證書的移動智能終端操作系統[並不簡單]
【華為鴻蒙】華為鴻蒙 OS搭載了自研的形式化微內核，是業界首個通過形式化驗證並商用的微內核，獲得國際信息技術安全評估標準CC EAL5+認證，同時也是目前唯一獲得CC EAL5+這個級別安全認證的手機廠商。請記住，是全世界第一個，也是目前唯一一個獲得CC EAL5+認證的廠商[並不簡單]
華為鴻蒙TEE OS微內核經形式化驗證，唯一家獲CC EAL5+認證廠商。
為了保障高敏感數據的安全，華為TEE OS微內核採用了形式化驗證技術。相較於傳統的驗證方法，形式化驗證方法從代碼開始，採用數學的方法進行驗證，分析代碼的每一種執行可能，從源頭上杜絕了系統的漏洞;但是用形式化方法，每驗證一行系統代碼往往需要開發一百行的驗證代碼，因此通常只有在航空、芯片等領域才會應用。正因此，華為TEE OS微內核獲得商用OS內核最高安全等級的CC EAL5+認證，也是目前唯一獲得CC EAL5+這個級別安全認證的手機廠商。
華為鴻蒙獲得了國際CC的EAL5+的證書，消息一出，業界一片譁然。一方面讚歎華為的技術實力無人能及，另一方面卻對操作系統為什麼能獲得EAL5+表示百思不得其解。因為此前只有芯片可以通過CC EAL5+及以上認證，且不是所有公司都可以通過該項認證，國內眾多芯片公司也是近幾年才開發出相關產品，陸續通過CC EAL5+認證。那麼華為是怎麼將軟件做到硬件級別安全的呢？
我想，隨後有時間的話，我給大家說說[並不簡單][/cp]
分享到:
閱讀更多 燃步科技 的文章
