| 送交者: 张旺教授[☆★★声望品衔12★★☆] 于 2020-03-22 8:56 已读 5487 次 4 赞 | 张旺教授的个人频道 |
华为鸿蒙操作系统获得国际信息技术安全评估标准CC EAL5+认证（证书见图一），这是全世界第一个也是唯一一个获得这个级别安全认证的手机厂商。 6park.com
为了保障高敏感数据的安全，华为鸿蒙微内核采用了形式化验证技术。相较于传统的验证方法，形式化验证方法从代码开始，采用数学的方法进行验证，分析代码的每一种执行可能，从源头上杜绝了系统的漏洞；但是用形式化方法，每验证一行系统代码往往需要开发一百行的验证代码，代价很高，因此通常只有在航空、芯片等领域才会应用。 6park.com
从这里可以明显地看出，鸿蒙面向的领域绝不仅仅是手机，联想到前段时间奇瑞搭载了鸿蒙车载系统，鸿蒙未来要进入的领域应该比手机的安全性要求高得多，也比单纯的手机领域广得多，试问目前的安卓系统能做到这一点吗？
6park.com
贴主:张旺教授于2020_03_22 9:03:36编辑评分完成：已经给 张旺教授 加上 100 银元！
请点这里投票，“赞”助支持！