根據最新消息顯示，日前，華為鴻蒙系統獲得了國際信息技術安全評估標準CC EAL5+認證
這是全世界第一個也是唯一一個獲得這個級別安全認證的手機廠商，即便是安卓系統也沒有獲得這個證書的最高等級認證。
據悉，為了保障高敏感數據的安全，華為鴻蒙系統微內核採用了形式化驗證技術，該驗證技術相較於傳統的驗證方法，形式化驗證方法從代碼開始，採用數學的方法進行驗證，分析代碼的每一種執行可能，從源頭上杜絕了系統的漏洞;但是用形式化方法，每驗證一行系統代碼往往需要開發一百行的驗證代碼，代價很高，因此通常只有在航空、芯片等領域才會應用，由此也再次體現了華為在系統方面的軟實力。
此外，根據此前奇瑞搭載了鴻蒙車載系統來推測，鴻蒙系統未來要進入的領域應該比手機的安全性要求高得多。
中國的手機操作系統，看來還是得靠華為！其它廠家一個個發佈會吹牛逼到是排第一！
支持華為，中華有為，華為加油！
分享到:
閱讀更多 戰忽局局長助理李師傅 的文章
