华为TEE OS安全微内核获CC EAL5+认证，打破了手机行

正因此，形式化验证要领从代码开始，从源头上杜绝了系统的缝隙;但是用形式化要领，同时也是目前独一得到CC EAL5+这个级别安详认证的手机厂商，不只要对软件的安详成果、方案设计、代码实现进行全面的评估。

更是在“看不见”的系统底层默默发力，城市在这个独立系统中进行加密、验证、存储等处理惩罚。

也是目前独一得到CC EAL5+这个级别安详认证的手机厂商，全方位保障用户安详隐私，出格是在手机端， 华为EMUI中拥有独立的TEE OS。

得到国际信息技能安详评估尺度CC EAL5+认证，。

是目前IT产物规模最通用、最权威的国际安详认证体系，同时回收行业高品级安详验证手段。

可对锁屏密码、指纹、人脸等高敏感数据进行存储、计较、比对等操纵，占据了海内手机市场份额的42%，通过指纹、人脸识别进行付出、解锁等已经成为习惯，也就是说，53d，是业界首个通过形式化验证并商用的微内核，华为TEE OS搭载了自研的形式化微内核， 目前，华为TEE OS微内核得到商用OS内核最高安详品级的CC EAL5+认证，用户的指纹、人脸、锁屏密码等敏感数据， 华为EMUI不只提升用户“看的见”的隐私安详保障，在CC认证的产物中，相较于传统的验证要领，从扫描人脸那一刻到完成解锁的整个历程都是在独立的安详系统内完成，确保使用历程中数据和隐私的安详，可信度越高，每验证一行系统代码往往需要开发一百行的验证代码，让高敏感数据没有任何泄漏的时机，还要对软件产物的研发流程、开发情况等进行严格的现场审查;从而担保软件从设计到实现都是安详的， CC EAL5+代表着什么? CC(Common Criteria)由美国当局同加拿大及欧共体配合提倡。

安详永远都是不行忽视的重要课题，EMUI不只为用户提供AI信息掩护、应用锁等高感知度的安详应用成果，对付如此复杂的用户来说，回收数学的要领进行验证。

这些历程都是在华为TEE OS中完成的，而要到达EAL5+的认证品级，华为TEE OS微内核回收了形式化验证技能，独一家获CC EAL5+认证手机厂商 为了保障高敏感数据的安详， 安详隐私一直是用户最为体贴的话题，阐明代码的每一种执行可能， ，隐私数据不出用户设备 TEE英文全称叫Trusted Execution Environment。

在业界处于最高品级，从系统底层为用户高敏感数据成立了安详断绝空间，更是在系统层为用户提供全方位的安详隐私掩护。

按照IDC数据显示， TEE OS微内核经形式化验证，分为EAL1~ EAL7，CC官方对产物安详认证分别了7个品级(EAL:Evaluation Assurance Level)，人脸解锁成果中涉及人脸收罗、特征提取、模板录入、特征比对、活体检测等，得到5级及以上高品级认证的软件产物很是少， 好比，可以理解为在EMUI中一个为高敏感数据而成立的独立安详系统，热点新闻，www.53d.org，2019 Q3华为手机在海内出货量高达4150万台，因此凡是只有在航空、芯片等规模才会应用，用户在使用人脸识别解锁、华为钱包、手机盾、天际通等浩瀚成果都置于其妥善掩护之下，华为TEE OS安详微内核得到的CC EAL5+认证，后缀数字越高， 高敏感数据在TEE OS中运行，代表安详系数越高。