【华为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+认证。————转发自知乎

上面是华为的，他认为没有小米的空白通行证等功能就不算安全，还质疑机构的权威性

原因是用户没有体验到

来个人说说啊

吧友的热兵器