小米澎湃OS重磅发布：望安科技为小米澎湃OS重新定义系统安全！

小米澎湃OS的横空出世，离不开望安的技术支持。会中，金凡表示，小米澎湃OS安全的基石是小米自研的TEE硬件级底层安全系统，它独立内核并且在使用底层CPU内存等资源时，在硬件层就进行了完全隔离。在此基础上，望安科技协助小米采用航天系统中使用的形式化方法，通过数学上严格的逻辑推导和定理证明，保障系统达到最高等级的安全。

望安科技基于形式化验证核心技术及CC高等级认证评估技术能力，为小米手机TEE提供CC EAL5+认证评估服务。望安科技承担实施的小米智能终端可信执行环境操作系统2.0（MiTEE OS 2.0）评估项目，成功获得了由中国网络安全审查技术与认证中心（CCRC）颁发的国内首张最高安全认证等级EAL5+ 证书。该证书的颁发，标志着MiTEE OS的信息安全保障能力已达到行业领先水平。