根据最新消息显示，日前，华为鸿蒙系统获得了国际信息技术安全评估标准CC EAL5+认证
这是全世界第一个也是唯一一个获得这个级别安全认证的手机厂商，即便是安卓系统也没有获得这个证书的最高等级认证。
据悉，为了保障高敏感数据的安全，华为鸿蒙系统微内核采用了形式化验证技术，该验证技术相较于传统的验证方法，形式化验证方法从代码开始，采用数学的方法进行验证，分析代码的每一种执行可能，从源头上杜绝了系统的漏洞;但是用形式化方法，每验证一行系统代码往往需要开发一百行的验证代码，代价很高，因此通常只有在航空、芯片等领域才会应用，由此也再次体现了华为在系统方面的软实力。
此外，根据此前奇瑞搭载了鸿蒙车载系统来推测，鸿蒙系统未来要进入的领域应该比手机的安全性要求高得多。
中国的手机操作系统，看来还是得靠华为！其它厂家一个个发布会吹牛逼到是排第一！
支持华为，中华有为，华为加油！
分享到:
閱讀更多 戰忽局局長助理李師傅 的文章
